9210 search results - page 1656 / 1842 » Analyzing Real-Time Systems |
SIGOPS
2008
13 years 10 months ago
2008
What do our computer systems do all day? How do we make sure they continue doing it when failures occur? Traditional approaches to answering these questions often involve inband m...
BC
2004
13 years 10 months ago
2004
We show that complex visual tasks, such as position- and size-invariant shape recognition and navigation in the environment, can be tackled with simple architectures generated by a...
COLING
2002
13 years 10 months ago
2002
Language users have individual linguistic styles. A spoken dialogue system may benefit from adapting to the linguistic style of a user in input analysis and output generation. To ...
INTERNET
2002
13 years 10 months ago
2002
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
JCS
2002
13 years 10 months ago
2002
STATL is an extensible state/transition-based attack description language designed to support intrusion detection. The language allows one to describe computer penetrations as seq...