13397 search results - page 330 / 2680 » From Static Distributed Systems to Dynamic Systems |
147
Voted
HOTOS
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a mechanism for inter-process communication (IPC) redirection that enables efficient and flexible access control for micro-kernel systems. In such systems, services are...
155
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
The assignment of tasks to human performers is a critical component in people-centric business process management systems. Workflow management systems typically assign work items u...
116
Voted
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
170
click to vote
VISSOFT
2002
IEEE
15 years 9 months ago
2002
IEEE
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
113
click to vote
SGAI
2007
Springer
15 years 10 months ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...