46 search results - page 3 / 10 » CoAuto: A Formal Model for Cooperative Processes |
EICS
2009
ACM
13 years 9 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
BPM
2005
Springer
13 years 10 months ago
2005
Springer
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
CSCW
1994
ACM
13 years 9 months ago
1994
ACM
Session management systems for collaborative applications have required a great deal of reimplementation work by developers because they have been typically created on a case-by-c...
CLIMA
2011
12 years 5 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
ENTCS
2006
13 years 5 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...