Sciweavers

5599 search results - page 188 / 1120
» Abstract State Services
Sort
View
BIRTHDAY
2008
Springer
15 years 6 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 9 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
142
Voted
BIRTHDAY
2006
Springer
15 years 7 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 6 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 4 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...