4099 search results - page 513 / 820 » A Framework for Interactive Proof |
140
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Software systems of today are characterized by increasing size, complexity, distribution, heterogeneity, and lifespan. Understanding and supporting the interaction between softwar...
186
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...
157
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet ...
180
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
171
click to vote
ISM
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a framework for coupling musical robots with interfaces based on open-ended control architecture, allowing for new and expanded forms of expression. The MahaDeviBot all...