4099 search results - page 427 / 820 » A Framework for Interactive Proof |
210
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
195
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
150
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a new framework for modeling value network of inter-organization interactions. We propose a set of building blocks elements of the model made of economic enti...
169
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— A central problem in robotics is planning a collision-free path for a moving object in an environment with obstacles. Contemporary applications require a path planner that is f...
184
click to vote
ISM
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents a framework for interactive applications running in a lecture recording system using the board as interface metaphor. A number of such applications, called Cha...