Sciweavers

4242 search results - page 677 / 849
» An Event Spacing Experiment
Sort
View
ACMIDC
2010
14 years 2 months ago
Mobile collaboration: collaboratively reading and creating children's stories on mobile devices
This paper discusses design iterations of Mobile Stories – a mobile technology that empowers children to collaboratively read and create stories. We present the design and discu...
Jerry Alan Fails, Allison Druin, Mona Leigh Guha
CAV
2010
Springer
172views Hardware» more  CAV 2010»
14 years 2 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers
SIGIR
2010
ACM
14 years 2 months ago
Query similarity by projecting the query-flow graph
Defining a measure of similarity between queries is an interesting and difficult problem. A reliable query-similarity measure can be used in a variety of applications such as que...
Ilaria Bordino, Carlos Castillo, Debora Donato, Ar...
SP
2010
IEEE
222views Security Privacy» more  SP 2010»
14 years 2 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...
FPL
2007
Springer
97views Hardware» more  FPL 2007»
14 years 2 months ago
An FPGA Approach to Quantifying Coherence Traffic Efficiency on Multiprocessor Systems
Recently, there is a surge of interests in using FPGAs for computer architecture research including applications from emulating and analyzing a new platform to accelerating microa...
Taeweon Suh, Shih-Lien Lu, Hsien-Hsin S. Lee