446 search results - page 46 / 90 » LTS semantics for use case models |
STACS
2009
Springer
15 years 6 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
CIE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
FORTE
2007
15 years 1 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
192
click to vote
VLDB
2008
ACM
16 years 2 days ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
102
click to vote
EKAW
2008
Springer
15 years 1 months ago
2008
Springer
Despite the potential of domain ontologies to provide consensual representations of domain-relevant knowledge, the open, distributed and decentralized nature of the Semantic Web me...