225 search results - page 28 / 45 » Reasoning About Synchronic Groups |
CAEPIA
2003
Springer
14 years 23 days ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
CHI
2009
ACM
14 years 6 days ago
2009
ACM
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...
PDSE
2000
13 years 8 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
IGPL
2010
13 years 6 months ago
2010
Collective rationality in its ordinary sense is rationality’s extension to groups. It does not entail efficiency by definition. Showing that it entails efficiency requires a nor...
PPOPP
2003
ACM
14 years 23 days ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...