Sciweavers

3192 search results - page 242 / 639
» A Requirements-Driven Development Methodology
Sort
View
CCS
2011
ACM
14 years 6 months ago
Automated black-box detection of side-channel vulnerabilities in web applications
Web applications divide their state between the client and the server. The frequent and highly dynamic client-server communication that is characteristic of modern web application...
Peter Chapman, David Evans
HRI
2012
ACM
14 years 2 months ago
ROS and Rosbridge: roboticists out of the loop
The advent of ROS, the Robot Operating System, has finally made it possible to implement and use state-of-the-art navigation and manipulation algorithms on widely-available, inex...
Christopher Crick, Graylin Jay, Sarah Osentoski, O...
SI3D
2012
ACM
14 years 2 months ago
Dynamic eye convergence for head-mounted displays improves user performance in virtual environments
In Virtual Environments (VE), users are often facing tasks that involve direct manipulation of virtual objects at close distances, such as touching, grabbing, placement. In immers...
Andrei Sherstyuk, Arindam Dey, Christian Sandor, A...
SOFSEM
2012
Springer
14 years 2 months ago
Recent Challenges and Ideas in Temporal Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
Orna Kupferman
TOG
2012
245views Communications» more  TOG 2012»
13 years 9 months ago
How do humans sketch objects?
Humans have used sketching to depict our visual world since prehistoric times. Even today, sketching is possibly the only rendering technique readily available to all humans. This...
Mathias Eitz, James Hays, Marc Alexa