2632 search results - page 419 / 527 » Alternating Timed Automata |
113
click to vote
ECRTS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Limited preemption scheduling has been introduced as a viable alternative to non-preemptive and fullypreemptive scheduling when reduced blocking times need to coexist wit...
110
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
115
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
Standard tournament selection samples individuals with replacement. The sampling-with-replacement strategy has its advantages but also has issues. One of the commonly recognised i...
108
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
The aim of process mining is to identify and extract process patterns from data logs to reconstruct an overall process flowchart. As business processes become more and more comple...
113
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
State-of-the-art image compression and reconstruction techniques utilize wavelets. Beginning in 2004, however, a team of researchers at Wright-Patterson Air Force Base (WPAFB), the...