1268 search results - page 115 / 254 » One Logic to Use Them All |
131
click to vote
JOT
2010
14 years 11 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
110
click to vote
IUI
2012
ACM
13 years 8 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
100
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
114
click to vote
APN
2008
Springer
15 years 2 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
119
click to vote
DBSEC
2008
15 years 2 months ago
2008
Pervasive computing applications typically involve cooperation among a number of entities spanning multiple organizations. Any security breach in any single entity can have very fa...