857 search results - page 44 / 172 » Compositional Semantics in Verbmobil |
170
click to vote
SOCO
2005
Springer
15 years 11 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...
250
click to vote
ARTDB
1997
Springer
15 years 10 months ago
1997
Springer
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
204
click to vote
EPEW
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
164
click to vote
ROOM
2000
15 years 7 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
178
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...