1697 search results - page 37 / 340 » Supporting the design of service contracts with interaction ... |
104
click to vote
WECWIS
2005
IEEE
15 years 5 months ago
2005
IEEE
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
ICOST
2007
Springer
15 years 6 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
113
click to vote
ICSOC
2004
Springer
15 years 5 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
CADE
2004
Springer
16 years 2 days ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
CHI
2003
ACM
16 years 4 days ago
2003
ACM
We investigated what mobile workers do when they are mobile to achieve their communication goals, using contextual interviews and ethnographically inspired observations in a varie...