284 search results - page 19 / 57 » Formal Foundation for Pattern-Based Modelling |
110
click to vote
IGPL
2007
15 years 14 days ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
93
Voted
JAPLL
2010
14 years 11 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
139
Voted
JCSS
2011
14 years 7 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
157
Voted
ENTCS
2006
15 years 17 days ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
126
click to vote
EMSOFT
2006
Springer
15 years 2 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...