4286 search results - page 44 / 858 » Formalizing Service Interactions |
FMICS
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
ASM
2010
ASM
13 years 8 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
ESWA
2002
13 years 8 months ago
2002
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
The recent advances in web 2.0 technologies and the rapid adoption of smart phones raises many opportunities for public services to improve their services by engaging their users ...