7121 search results - page 1076 / 1425 » Functions as Session-Typed Processes |
179
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
166
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
146
click to vote
BPM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...
173
click to vote
BPM
2005
Springer
16 years 7 days ago
2005
Springer
The growing number of web services advocates distributed discovery infrastructures which are semantics-enabled and support quality of service (QoS). In this paper, we introduce a n...
187
click to vote
BTW
2005
Springer
16 years 7 days ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...