Sciweavers

1353 search results - page 221 / 271
» Streamlined Constraint Reasoning
Sort
View
WORDS
2002
IEEE
15 years 2 months ago
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings
ER
2009
Springer
137views Database» more  ER 2009»
15 years 2 months ago
Multi-level Conceptual Modeling and OWL
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
Bernd Neumayr, Michael Schrefl
GIS
2009
ACM
15 years 2 months ago
In-network query processing in mobile P2P databases
The in-network query processing paradigm in sensor networks postulates that a query is routed among sensors and collects the answers from the sensors on its trajectory. It works f...
Bo Xu, Fatemeh Vafaee, Ouri Wolfson
DNA
2001
Springer
125views Bioinformatics» more  DNA 2001»
15 years 2 months ago
PNA-mediated Whiplash PCR
The directed evolution of proteins, using an in vitro domainal shuffling strategy was proposed in (J. Kolkman and W. Stemmer, Nat. Biotech. 19, 423 (2001). Due to backhybridization...
John A. Rose, Russell J. Deaton, Masami Hagiya, Ak...
EPIA
2001
Springer
15 years 2 months ago
A Temporal Planning System for Time-Optimal Planning
Dealing with temporality on actions presents an important challenge to AI planning. Unlike Graphplan-based planners which alternate levels of propositions and actions in a regular ...
Antonio Garrido Tejero, Eva Onaindia, Federico Bar...