6201 search results - page 1028 / 1241 » Implementation of Axiomatic Language |
171
click to vote
ATAL
2005
Springer
16 years 3 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...
145
click to vote
BPM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...
162
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
164
click to vote
CC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
173
click to vote
COORDINATION
2005
Springer
16 years 3 days ago
2005
Springer
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...