809 search results - page 44 / 162 » Formal Semantics for the Java Modeling Language |
126
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
123
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
108
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
112
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
100
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...