2299 search results - page 312 / 460 » Logical Data Expiration |
199
click to vote
FSKD
2005
Springer
16 years 14 days ago
2005
Springer
Core operations (e.g. TDMA scheduler, synchronized sleep period, data aggregation) of many proposed protocols for different layer of sensor network necessitate clock synchronizatio...
190
click to vote
APN
2004
Springer
16 years 10 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
176
Voted
FATES
2004
Springer
16 years 10 days ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
167
Voted
FPL
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
177
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...