1463 search results - page 259 / 293 » Model Checking Implicit-Invocation Systems |
113
click to vote
RAID
2004
Springer
15 years 6 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
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...
106
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...
124
click to vote
CAISE
2000
Springer
15 years 5 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...
102
click to vote
ICWS
2008
IEEE
15 years 2 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...