Sciweavers

441 search results - page 25 / 89
» A software reliability model for web services
Sort
View
174
Voted
C3S2E
2009
ACM
16 years 9 days ago
Integrating heterogeneous user interfaces in service oriented web applications
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
Matthias Tilsner, Adrian Fiech, Thomas Specht
162
Voted
IOT
2010
15 years 3 months ago
Using web service gateways and code generation for sustainable IoT system development
Wireless Sensing and Radio Identification systems have undergone many innovations during the past years. This has led to short product lifetimes for both software and hardware comp...
Till Riedel, Nicolaie Fantana, Adrian Genaid, Dimi...
187
Voted
ATAL
2003
Springer
15 years 11 months ago
Modifying agent systems for an open, dynamic agent environment
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
Adam L. Berger, Robert R. Kessler
SIGSOFT
2008
ACM
16 years 6 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
WWW
2004
ACM
16 years 6 months ago
Cooperative middleware specialization for service oriented architectures
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
Nirmal Mukhi, Ravi B. Konuru, Francisco Curbera