10159 search results - page 1944 / 2032 » System Design Validation Using Formal Models |
CSCW
2004
ACM
14 years 1 months ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
AUSAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The particle filter has attracted considerable attention in visual tracking due to its relaxation of the linear and Gaussian restrictions in the state space model. It is...
CIKM
2004
Springer
14 years 1 months ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
LCPC
2004
Springer
14 years 1 months ago
2004
Springer
Previous work shows the possibility of predicting the cache miss rate (CMR) for all inputs of a program. However, most optimization techniques need to know more than the miss rate ...
SENSYS
2003
ACM
14 years 1 months ago
2003
ACM
Accurate and scalable simulation has historically been a key enabling factor for systems research. We present TOSSIM, a simulator for TinyOS wireless sensor networks. By exploitin...