857 search results - page 137 / 172 » Compositional Semantics in Verbmobil |
154
click to vote
ECBS
2009
IEEE
16 years 27 days ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
156
click to vote
RTSS
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
157
click to vote
SEFM
2007
IEEE
16 years 10 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
166
click to vote
WISE
2007
Springer
16 years 10 days ago
2007
Springer
: Web service search is an important problem in service oriented architecture that has attracted widespread attention from academia as well as industry. Web service searching can b...
185
click to vote
AGTIVE
2007
Springer
16 years 8 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...