2661 search results - page 520 / 533 » Quantum Complexity Classes |
127
Voted
IANDC
2007
15 years 16 days ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
109
Voted
PERVASIVE
2008
Springer
15 years 16 days ago
2008
Springer
We have developed an approach for whole-house gross movement and room transition detection through sensing at only one point in the home. We consider this system to be one member o...
148
Voted
TASE
2008
IEEE
15 years 15 days ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
118
Voted
TCAD
2008
15 years 15 days ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
BIOINFORMATICS
2005
15 years 15 days ago
2005
BioLingua is an interactive, web-based programming environment that enables biologists to analyze biological systems by combining knowledge and data through direct end-user progra...