1895 search results - page 7 / 379 » Modular Functional Descriptions |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
MODELLIERUNG
2004
13 years 9 months ago
2004
: Prozessmuster erm
AAAI
2008
13 years 10 months ago
2008
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
ENTCS
2010
13 years 5 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...