Sciweavers

1911 search results - page 127 / 383
» A Service Discovery Framework for Service Centric Systems
Sort
View
FASE
2008
Springer
15 years 8 months ago
A Model Checking Approach for Verifying COWS Specifications
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Alessandro Fantechi, Stefania Gnesi, Alessandro La...
ICDCSW
2009
IEEE
15 years 4 months ago
Automated Service Composition in Next-Generation Networks
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
Shashank Shanbhag, Xin Huang, Santosh Proddatoori,...
CN
1999
119views more  CN 1999»
15 years 6 months ago
Internet Telephony: Architecture and Protocols - an IETF Perspective
Internet telephony offers the opportunity to design a global multimedia communications system that may eventually replace the existing telephony infrastructure. We describe the up...
Henning Schulzrinne, Jonathan Rosenberg
SAMT
2007
Springer
108views Multimedia» more  SAMT 2007»
16 years 19 days ago
Document Layout Substructure Discovery
Abstract. In this paper we present a system, DoLSuD, for the automatic discovery of relevant substructures in a document layout. DoLSuD, Document Layout Substructure Discovery, ext...
Claudio Andreatta
ATAL
2010
Springer
15 years 7 months ago
ALIVE: an agent-based framework for dynamic and robust service-oriented applications
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
Javier Vázquez-Salceda, Wamberto Weber Vasc...