5639 search results - page 909 / 1128 » Timed Abstract Non-interference |
107
click to vote
HOLOMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Semi-industrial pilot plants are the best experimental domain for advanced control systems testing with the real-world instrumentation. At the same time, inexpensive flex...
155
click to vote
DNA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Nature is considered one promising area to search for inspiration in designing robotic systems. Some work in swarm robotics has tried to build systems that resemble distr...
120
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
124
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Measuring relational similarity between words is important in numerous natural language processing tasks such as solving analogy questions and classifying noun-modifier r...
129
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...