Results 11 to 20 of about 698,419 (89)
, 2015 Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly.
Arbab, Farhad +3 more
core +5 more sources
European Union Terminology Unification - Directions for the Contrastive Study of Two Slavic and Two Non-Slavic Languages (Bulgarian, Polish, Modern Greek and English) [PDF]
, 2011 This study attempts to characterize terminology unification in the European Union legislation, regarding both content and form. It analyzes terms related to the thematic field of environmental law in four official EU languages: two Slavic (Bulgarian and ...
Genew-Puhalewa, Iliana
core +2 more sources
The MMT API: A Generic MKM System [PDF]
, 2013 The MMT language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making MMT-based MKM ...
F. Horozal +7 more
core +1 more source
Declarative Specification [PDF]
, 1996 Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson +11 more
core +1 more source
Towards formal models and languages for verifiable Multi-Robot Systems [PDF]
, 2018 Incorrect operations of a Multi-Robot System (MRS) may not only lead to unsatisfactory results, but can also cause economic losses and threats to safety.
De Nicola, Rocco +2 more
core +3 more sources
Criticality in Formal Languages and Statistical Physics
, 2017 We show that the mutual information between two symbols, as a function of the number of symbols between the two, decays exponentially in any probabilistic regular grammar, but can decay like a power law for a context-free grammar.
Lin, Henry W., Tegmark, Max
core +1 more source
A multi-set extended relational algebra: a formal approach to a practical issue [PDF]
, 1993 The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples an a relation. Many database languages and systems do require multi-set semantics though, either because of functional requirements or because of the high costs
de By, R.A. +2 more
core +4 more sources
Syntax without Abstract Objects [PDF]
, 2011 In line with the nominalistic denial of the existence of abstract objects, a basic theory of syntax for formal languages is developed and shown to satisfy certain fundamental ...
Kozian, Ralf
core +1 more source
Towards Nominal Formal Languages [PDF]
, 2011 We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions.
Kurz, Alexander +2 more
core +2 more sources
Formal Model Engineering for Embedded Systems Using Real-Time Maude
, 2011 This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat +27 more
core +2 more sources