2299 search results - page 312 / 460 » Logical Data Expiration |
161
click to vote
FSKD
2005
Springer
15 years 10 months 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...
135
click to vote
APN
2004
Springer
15 years 10 months 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...
136
click to vote
FATES
2004
Springer
15 years 10 months 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...
132
click to vote
FPL
2004
Springer
15 years 10 months 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...
142
click to vote
FSTTCS
2004
Springer
15 years 10 months 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...