2872 search results - page 421 / 575 » On (Omega-)Regular Model Checking |
181
click to vote
TRUSTBUS
2007
Springer
16 years 15 days ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
172
click to vote
CIMCA
2006
IEEE
16 years 14 days ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
160
click to vote
ISPDC
2006
IEEE
16 years 12 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
189
click to vote
LICS
2006
IEEE
16 years 12 days ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
182
click to vote
SEW
2006
IEEE
16 years 12 days ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...