438 search results - page 40 / 88 » Emergent Properties in Reactive Systems |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The purpose of this study is to explore the role of knowledge management systems (KMS) in structuring knowledgeable practices within organizations. Specifically, we consider how i...
ICFEM
2003
Springer
14 years 28 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
JSS
2006
13 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
IWANN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. ZARAMIT is an information system capable of fully automated phylogeny reconstruction. Methods have been tailored to mitochondrial DNA sequences, with focus on subproblem ...
DFKI
2005
Springer
13 years 9 months ago
2005
Springer
It is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-base...