635 search results - page 80 / 127 » Towards the formalization of interaction semantics |
LWA
2007
15 years 1 months ago
2007
The emergence of collaborative tagging systems with their underlying flat and uncontrolled resource organization paradigm has led to a large number of research activities focussi...
122
click to vote
DBSEC
2009
15 years 27 days ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
161
click to vote
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
113
click to vote
IRI
2005
IEEE
15 years 5 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
107
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...