Sciweavers

5599 search results - page 191 / 1120
» Abstract State Services
Sort
View
GI
2009
Springer
15 years 1 months ago
Enabling Services - Spezifikation plattformbasierter Vorleistungen in der Telekommunikation
Abstract: Die technologiegetriebene Konvergenz der Branchen Informationstechnologie, Telekommunikation und Medien hat die Entwicklung von Wertsch
Jochen Wulf, Thorsten Hau, Rüdiger Zarnekow, ...
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 8 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
IEEESCC
2008
IEEE
15 years 10 months ago
Development Tool for Service-Oriented Applications in Smart Homes
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
Jianqi Yu, Philippe Lalanda, Stéphanie Chol...
BIRTHDAY
2005
Springer
15 years 9 months ago
Overview on Decentralized Establishment of Multi-lateral Collaborations
Abstract. Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guaran...
Andreas Wombacher
CONCUR
2006
Springer
15 years 7 months ago
A Language for Task Orchestration and Its Semantic Properties
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
David Kitchin, William R. Cook, Jayadev Misra