3429 search results - page 586 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
CCIA
2007
Springer
14 years 4 months ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
SIGIR
2005
ACM
14 years 3 months ago
2005
ACM
The bottleneck for dictionary-based cross-language information retrieval is the lack of comprehensive dictionaries, in particular for many different languages. We here introduce a...
COORDINATION
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
DSOM
2005
Springer
14 years 3 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
SOCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...