Sciweavers

5599 search results - page 69 / 1120
» Abstract State Services
Sort
View
WWW
2006
ACM
15 years 7 months ago
ASDL: a wide spectrum language for designing web services
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
Monika Solanki, Antonio Cau, Hussein Zedan
CSL
2010
Springer
15 years 2 months ago
Exact Exploration and Hanging Algorithms
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
ICALP
2003
Springer
15 years 6 months ago
Hierarchical and Recursive State Machines with Context-Dependent Properties
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
Salvatore La Torre, Margherita Napoli, Mimmo Paren...
PERCOM
2007
ACM
16 years 1 months ago
A State-Based Programming Model and System for Wireless Sensor Networks
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
Urs Bischoff, Gerd Kortuem
IJCIS
2006
126views more  IJCIS 2006»
15 years 1 months ago
Developing Distributed Services Using an Aspect Oriented Model Driven Framework
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Rob...