549 search results - page 9 / 110 » Verification condition generation for conditional informatio... |
IWCMC
2010
ACM
15 years 3 days ago
2010
ACM
We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique...
ECAI
1992
Springer
15 years 2 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
123
Voted
DAGSTUHL
2007
14 years 11 months ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
101
click to vote
CAV
2008
Springer
15 years 5 days ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...