Sciweavers

1363 search results - page 105 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
CONCUR
2008
Springer
14 years 11 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 3 months ago
XML Based Robust Client-Server Communication for a Distributed Telecommunication Management System
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
Karl M. Göschka, Helmut Reis, Robert Smeikal
ALIFE
2005
14 years 9 months ago
Agency in Natural and Artificial Systems
We analyze the conditions for agency in natural and artificial systems. In the case of basic (natural) autonomous systems, self-construction and activity in the environment are two...
Alvaro Moreno, Arantza Etxeberria
ASAP
2010
IEEE
148views Hardware» more  ASAP 2010»
14 years 11 months ago
Function flattening for lease-based, information-leak-free systems
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T...
ESAW
2009
Springer
15 years 4 months ago
Replication Based on Role Concept for Multi-Agent Systems
Replication is widely used to improve fault tolerance in distributed and multi-agent systems. In this paper, we present a different point of view on replication in multi-agent syst...
Sebnem Bora, Oguz Dikenelli