6348 search results - page 991 / 1270 » Extensible control architectures |
150
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
163
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Ontology learning is an important task in Artificial Intelligence, Semantic Web and Text Mining. This paper presents a novel framework for, and solutions to, three practical probl...
146
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
127
click to vote
ATS
2005
IEEE
15 years 6 months ago
2005
IEEE
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...
135
click to vote
EWSN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Wireless sensor network protocols and applications, including those used for localization, topology control, link scheduling, and link quality estimation, make extensive ...