595 search results - page 71 / 119 » Representing and Executing Agent-Based Systems |
105
Voted
CLUSTER
2006
IEEE
15 years 17 days ago
2006
IEEE
Application scheduling plays an important role in high-performance cluster computing. Application scheduling can be classified as job scheduling and task scheduling. This paper pre...
120
click to vote
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
104
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
119
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...
111
Voted
ISADS
1999
IEEE
15 years 4 months ago
1999
IEEE
Standard client-server workflow management systems have an intrinsic scalability limitation, the central server, which represents a bottleneck for large-scale applications. This s...