1856 search results - page 165 / 372 » Formal Dialectic Specification |
132
click to vote
ACL
1989
15 years 5 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...
130
click to vote
AIEDAM
2007
15 years 4 months ago
2007
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
119
click to vote
COMSIS
2007
15 years 4 months ago
2007
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...
151
click to vote
WADT
1999
Springer
15 years 8 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
122
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...