Sciweavers

941 search results - page 161 / 189
» History-Dependent Petri Nets
Sort
View
CDES
2007
143views Hardware» more  CDES 2007»
13 years 9 months ago
Compiling a Mechanical Nanocomputer Adder
- Computer component fabrication is approaching physical limits of traditional photolithographic fabrication techniques. An alternative computer architecture may be enabled by the ...
Thomas Way, Tao Tao
CRIWG
2007
13 years 9 months ago
Coordinating Multi-task Environments Through the Methodology of Relations Graph
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
Adailton José Alves Da Cruz, Léo Pin...
TAMODIA
2008
13 years 9 months ago
Information Supply Mechanisms in Ubiquitous Computing, Crisis Management and Workflow Modelling
Abstract. The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and comm...
Jurriaan van Diggelen, Robbert-Jan Beun, Rogier M....
FCS
2006
13 years 9 months ago
Algorithmic Control in Concurrent Computations
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
Mark Burgin
IJCAI
2001
13 years 9 months ago
Distributed Monitoring of Hybrid Systems: A model-directed approach
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussec...