8636 search results - page 1336 / 1728 » How Developers Copy |
171
click to vote
HOTSWUP
2009
ACM
15 years 8 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
119
click to vote
ACOM
2004
Springer
15 years 8 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
121
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes an experimental alerting system under development by the Australian Bureau of Meteorology, initially targetted at (but not restricted to) the aviation sector....
129
click to vote
AISC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
154
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...