1285 search results - page 94 / 257 » Structural Operators for Modeling 3-Manifolds |
123
click to vote
DFG
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
116
Voted
MANSCI
2007
15 years 16 days ago
2007
We develop a structural model of credit risk in a network economy, where any firm can lend to any other firm, so that each firm is subject to counterparty risk either from dire...
115
click to vote
USS
2010
14 years 10 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
79
Voted
VLDB
1987
ACM
15 years 4 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
103
click to vote
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...