3742 search results - page 608 / 749 » On the Use of Formal Techniques for Validation |
163
click to vote
ICDM
2008
IEEE
16 years 26 days ago
2008
IEEE
The problem of selecting small groups of itemsets that represent the data well has recently gained a lot of attention. We approach the problem by searching for the itemsets that c...
172
click to vote
RTAS
2007
IEEE
16 years 21 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
151
click to vote
ADBIS
2007
Springer
16 years 18 days ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
160
click to vote
ESORICS
2007
Springer
16 years 17 days ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
164
click to vote
IFL
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...