7121 search results - page 1076 / 1425 » Functions as Session-Typed Processes |
200
click to vote
ATAL
2005
Springer
16 years 1 months 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...
191
Voted
BIRTHDAY
2005
Springer
16 years 1 months 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 ...
170
Voted
BPM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...
197
click to vote
BPM
2005
Springer
16 years 1 months 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...
207
click to vote
BTW
2005
Springer
16 years 1 months 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...