123 search results - page 13 / 25 » Modular Software Upgrades for Distributed Systems |
ENTCS
2007
14 years 11 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
LISA
2001
15 years 1 months ago
2001
Gossips is a modular client/server based system monitor. It uses distributed monitoring tasks to define and report states of an IT-environment. A monitoring task includes probes t...
ICSE
2008
IEEE-ACM
16 years 15 days ago
2008
IEEE-ACM
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
124
click to vote
ATAL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
131
click to vote
POPL
1989
ACM
15 years 3 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...