1472 search results - page 260 / 295 » On Model Checking Infinite-State Systems |
CLEF
2009
Springer
15 years 2 months ago
2009
Springer
This paper describes the baselines proposed for the ResPubliQA 2009 task. These baselines are purely based on information retrieval techniques. The selection of an adequate retrie...
111
click to vote
JAIR
2000
15 years 1 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
137
click to vote
GIS
2010
ACM
14 years 8 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
124
click to vote
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
106
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...