3185 search results - page 544 / 637 » Principles for modeling language design |
VEE
2006
ACM
14 years 2 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
CAISE
2001
Springer
14 years 1 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Multichannel publication of multimedia presentations poses a significant challenge on the generic description of the presentation content and the system necessary to convert these...
CIMCA
2008
IEEE
14 years 3 months ago
2008
IEEE
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...