Sciweavers

2722 search results - page 375 / 545
» The Model Evolution Calculus
Sort
View
133
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
Automated Agent Synthesis for Situation Awareness in Service-Based Systems
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
133
Voted
EEE
2005
IEEE
15 years 8 months ago
SLA Representation, Management and Enforcement
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
Adrian Paschke, Martin Bichler
LICS
2005
IEEE
15 years 8 months ago
Inverse and Implicit Functions in Domain Theory
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
Abbas Edalat, Dirk Pattinson
COORDINATION
2005
Springer
15 years 8 months ago
A Case Study of Web Services Orchestration
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
Manuel Mazzara, Sergio Govoni
CTRSA
2005
Springer
88views Cryptology» more  CTRSA 2005»
15 years 8 months ago
Sub-linear Queries Statistical Databases: Privacy with Power
Abstract. We consider a statistical database in which a trusted administrator introduces noise to the query responses with the goal of maintaining privacy of individual database en...
Cynthia Dwork