353 search results - page 11 / 71 » Compositional specification of behavioral semantics |
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
EMNLP
2009
13 years 5 months ago
2009
In this paper we propose a novel statistical language model to capture long-range semantic dependencies. Specifically, we apply the concept of semantic composition to the problem ...
JWSR
2006
13 years 7 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
ENTCS
2002
13 years 7 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
FORTE
1993
13 years 9 months ago
1993
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem sp...