481 search results - page 33 / 97 » Toward an Abstract Computer Virology |
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Lately, grid research has focused its attention on interoperability and standards, such as Grid Services, in order to facilitate resource virtualization, and to accommoda...
MMAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In order to construct and deploy massively multiagent systems, we must address one of the fundamental issues of distributed systems, the possibility of partial failures. ...
SEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
CDC
2009
IEEE
14 years 24 days ago
2009
IEEE
Abstract— This paper presents a methodology for the decentralised control of multiple 3-dimensional nonholonomic agents. The proposed control scheme is based on Navigation Functi...
TABLEAUX
1999
Springer
14 years 10 days ago
1999
Springer
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...