5015 search results - page 249 / 1003 » Model Checking a Path |
182
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
Query processing is one of the most, critical issues in Object-Oriented DBMSs. Extensible opt,imizers with efficient, search strategies require a cost model to select the most eff...
167
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
165
click to vote
IWC
2000
15 years 6 months ago
2000
Being disorientated or lost is one of the fundamental dif
168
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
149
click to vote
ICCCN
2007
IEEE
16 years 23 days ago
2007
IEEE
— We propose a precomputation-based scheme which offers Pareto optimal solutions to the network dimensioning problem. This scheme is performed by means of a two-phase procedure. ...