3082 search results - page 121 / 617 » its 2004 |
SBIA
2004
Springer
14 years 3 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
SEKE
2004
Springer
14 years 3 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
SEMWEB
2004
Springer
14 years 3 months ago
2004
Springer
In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the composition plan manually. A number of...
SFM
2004
Springer
14 years 3 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
SPATIALCOGNITION
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...