1302 search results - page 9 / 261 » From Liveness to Promptness |
TITS
2008
13 years 7 months ago
2008
This paper presents two different types of visual activity analysis modules based on vehicle tracking. The highway monitoring module accurately classifies vehicles into eight diffe...
ALIFE
2010
13 years 8 months ago
2010
The concept of living technology--that is, technology that is based on the powerful core features of life--is explained and illustrated with examples from artificial life software,...
CACM
2006
13 years 8 months ago
2006
: Traditional methods of digital forensics analyze a static disk image--a bitstream copy of a disk created while the system is offline. Recent trends--including greatly increased d...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
Riboswitches are RNA genetic control elements that were recently discovered in living cells. To regulate gene expression, they utilize a unique mechanism whereby small molecules b...
PODC
1999
ACM
14 years 8 days ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...