Sciweavers

13489 search results - page 2392 / 2698
» Operating System
Sort
View
IEEESCC
2010
IEEE
15 years 10 months ago
Dynamic Composition of Services in Sensor Networks
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
Sahin Cem Geyik, Boleslaw K. Szymanski, Petros Zer...
FMCAD
2007
Springer
15 years 10 months ago
Circuit Level Verification of a High-Speed Toggle
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
Chao Yan, Mark R. Greenstreet
SP
2010
IEEE
222views Security Privacy» more  SP 2010»
15 years 10 months ago
A Symbolic Execution Framework for JavaScript
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng...
SUTC
2010
IEEE
15 years 10 months ago
Adaptive Activity Spotting Based on Event Rates
—To date many activity spotting approaches are static: once the system is trained and deployed it does not change anymore. There are substantial shortcomings of this approach, sp...
Oliver Amft
HRI
2007
ACM
15 years 10 months ago
LASSOing HRI: analyzing situation awareness in map-centric and video-centric interfaces
Good situation awareness (SA) is especially necessary when robots and their operators are not collocated, such as in urban search and rescue (USAR). This paper compares how SA is ...
Jill L. Drury, Brenden Keyes, Holly A. Yanco
« Prev « First page 2392 / 2698 Last » Next »