8492 search results - page 235 / 1699 » Modelling and Design of Multi-Agent Systems |
112
click to vote
WOA
2001
15 years 6 months ago
2001
In this paper, we identify and analyze a set of issues that are more and more influencing the characteristics of today's complex software systems, and that distinguish them f...
120
click to vote
DEXAW
2002
IEEE
15 years 9 months ago
2002
IEEE
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...
121
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
124
Voted
DSD
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes the architecture of a safety system of the railway's interlocking equipment, which has been developed for Czech railways. The system will be used for the...
128
Voted
PVM
2005
Springer
15 years 10 months ago
2005
Springer
Communication subsystems are used in high-performance parallel computing systems to abstract the lower network layer. By using a communication subsystem, an upper middleware librar...