7167 search results - page 110 / 1434 » A Technique for Invariant Generation |
145
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
160
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Simulation studies are frequently used to evaluate new peer-to-peer searching techniques as well as existing techniques on new applications. Unless these studies are accurate in th...
148
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
156
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a method for incorporating natural language processing into existing text categorization procedures. Three aspects are considered in the investigation: (i) a m...
170
click to vote
DAC
1990
ACM
15 years 10 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...