12981 search results - page 2311 / 2597 » Model Checking (Abstract) |
144
click to vote
BTW
2001
Springer
15 years 9 months ago
2001
Springer
Abstract Integrated engineering environments, based on federated database technology, are, among others, a means to control the integrity of and dependencies between product data c...
141
click to vote
CPM
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Compressed pattern matching is one of the most active topics in string matching. The goal is to find all occurrences of a pattern in a compressed text without decompress...
176
click to vote
DAWAK
2001
Springer
15 years 9 months ago
2001
Springer
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...
102
click to vote
ECAL
2001
Springer
15 years 9 months ago
2001
Springer
Several of the Major Transitions in natural evolution, such as the symbiogenic origin of eukaryotes from prokaryotes, share the feature that existing entities became the components...
137
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...