6306 search results - page 265 / 1262 » Space, Time, and the Use of Language |
209
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
201
click to vote
CLEF
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we will describe Berkeley's approach to the Domain Specific (DS) track for CLEF 2007. This year we are using forms of the Entry Vocabulary Indexes and Thesaurus...
199
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...
153
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
236
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...