Sciweavers

31 search results - page 2 / 7
» Service specification and validation in the context of the h...
Sort
View
JUCS
2006
143views more  JUCS 2006»
13 years 7 months ago
Context-Aware QoS Provision for Mobile Ad-hoc Network -based Ambient Intelligent Environments
: Lately, wireless networks have gained acceptance for home networking. Low cost installation, flexibility and no fixed infrastructures have made it possible home environments rapi...
Felix Jesús Villanueva, David Villa, Franci...
AIMS
2010
Springer
13 years 9 months ago
Model-Driven Service Level Management
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...
Anacleto Correia, Fernando Brito e Abreu
SOSE
2008
IEEE
14 years 1 months ago
Precise Steps for Choreography Modeling for SOA Validation and Verification
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu...
CIA
2006
Springer
13 years 11 months ago
Conversation-Based Specification and Composition of Agent Services
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
Quoc Bao Vo, Lin Padgham
ICFEM
2003
Springer
14 years 19 days ago
Service-Based Systems Engineering: Consistent Combination of Services
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
Bernhard Schätz, Chris Salzmann