Sciweavers

5599 search results - page 188 / 1120
» Abstract State Services
Sort
View
BIRTHDAY
2008
Springer
15 years 8 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
15 years 11 months ago
ICT-Impact on Services
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...
Alexander G. Bielowski, Rita Walczuch
BIRTHDAY
2006
Springer
15 years 10 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
ATAL
2008
Springer
15 years 8 months ago
Towards verifying compliance in agent-based web service compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
Alessio Lomuscio, Hongyang Qu, Monika Solanki
IJIPT
2008
114views more  IJIPT 2008»
15 years 6 months ago
Enabling global multimedia distributed services based on hierarchical DHT overlay networks
The provision of innovating multimedia services is a high priority for service providers. Due to the the high traffic volume characteristics of multimedia content, decentralised s...
Isaías Martinez-Yelmo, Alex Bikfalvi, Carme...