4286 search results - page 236 / 858 » Formalizing Service Interactions |
148
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
: Due to the ever increasing impacts of globalization, people will/have to work on data which is distributed all around the world [LKK+ 97]. Query processing on the corresponding d...
181
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
157
click to vote
ECSCW
2007
15 years 8 months ago
2007
The rapidly expanding elderly population in Japan and other industrialized countries has posed an enormous challenge to the systems of healthcare that serve elderly citizens. This ...
143
click to vote
COLING
1996
15 years 7 months ago
1996
This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algo...
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...