Results 31 to 40 of about 25,005,250 (309)

Formal specification and analysis of production systems

, 2001
This paper discusses how formal methods can be integrated with existing simulation techniques to specify and analyse production systems. Simulation is very well suited for performance analysis of production systems, such as cycle time or throughput ...
Bos, V., Kleijn, J.J.T.
core   +1 more source

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

Systems, 2021
The ever-increasing complexity of cyber-physical systems is driving the need for assurance of critical infrastructure and embedded systems. However, traditional methods to secure cyber-physical systems—e.g., using cyber best practices, adapting ...
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury   +14 more
doaj   +1 more source

Communicating formal proofs : the case of Flyspeck

, 2013
We introduce a platform for presenting and cross-linking formal and informal proof developments together. The platform supports writing natural language ‘narratives’ that include islands of formal text.
Urban, J., Paulin-Mohring, C., Tankink, C., Pichardie, D., Kaliszyk, C., Blazy, S., Geuvers, J.H.   +6 more
core   +1 more source

Interconnecting Musicologies: Decoding Mahler's Sixth Symphony

Muzikološki Zbornik, 2003
This paper aims to establish a possible model for a multi-dimensional approach to understanding a complex musical work, using a number of interconnecting musicologies.
Niall O'Loughlin
doaj   +1 more source

Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015

, 2015
This volume contains the proceedings of MARS 2015, the first workshop on Models for Formal Analysis of Real Systems, held on November 23, 2015 in Suva, Fiji, as an affiliated workshop of LPAR 2015, the 20th International Conference on Logic for ...
Höfner, P., Groote, Jan Friso, Höfner, Peter, Groote, J.F., van Glabbeek, Rob J., Groote, J.F.; id_orcid, Van Glabbeek, R.   +6 more
core   +1 more source

Formal Contexts, Formal Concept Analysis, and Galois Connections [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
In Proceedings Festschrift for Dave Schmidt, arXiv:1309 ...
Jeffrey T. Denniston, Austin Melton, Stephen E. Rodabaugh   +2 more
openaire   +4 more sources

Formal micro-architectural analysis of on-chip ring networks

, 2018
In the realm of Multi-Processors System-on-Chip (MPSoC's), the Network-on-Chip (NoC) connecting all system components plays a crucial role in the overall correctness and performance of the system.
Wesel, PMM van, Julien Schmaltz, van Wesel, Perry, Schmaltz, Julien, Perry van Wesel   +4 more
core   +1 more source

Evaluation and Improvement of Internet Printing Protocol Based on HCPN Model Detection Method

Applied Sciences, 2023
The Internet Printing Protocol (IPP) is a bridge between hosts and printers, and is supported by more than 98 percent of printers today. In addition to supporting local use, the IPP protocol also supports online use. Although this can expand the scope of
Tao Feng, Hong-Ru Bei
doaj   +1 more source

Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan, Michael Abele, Calogero Virgone, Michaela Kuhlen, Ricardo Lopez‐Almarez, Tal Ben‐Ami, Ewa Bien, Maja Cesen, Malgorzata A. Krawczyk, Andrea Ferrari, Gianni Bisogno, Yves Reguerre, Dominik T. Schneider, Louise Galmiche, Jorg Fuchs, Sarah Braungart, Bilgehan Yalcin, Ines B. Brecht, Daniel Orbach   +18 more
wiley   +1 more source

Formal Specification of a Generic Separation Kernel [PDF]

, 2014
Item does not contain fulltextIntransitive noninterference has been a widely studied topic in the last few decades. Several well-established methodologies apply interactive theorem proving to formulate a noninterference theorem over abstract academic ...
Tverdyshev, Sergey, Nemouchi, Y., Tverdyshev, S., Blasum, H., Feliachi, Abderrahmane, Verbeek, F., Feliachi, A., Blasum, Holger, Schmaltz, J., Langenstein, Bruno, Verbeek, Freek, Wolff, B., Stephan, Werner, Langenstein, B., Stephan, W., Wolff, Burkhart, Havle, O., Havle, Oto, Schmaltz, Julien, Nemouchi, Yakoub   +19 more
core   +1 more source