1463 search results - page 230 / 293 » Model Checking Implicit-Invocation Systems |
136
click to vote
ICAC
2009
IEEE
15 years 8 months ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...
128
click to vote
BIODATAMINING
2008
15 years 1 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
102
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
101
click to vote
AIEDU
2005
15 years 1 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
130
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...