4099 search results - page 76 / 820 » A Framework for Interactive Proof |
CORR
2009
Springer
14 years 7 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
UIALL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
144
click to vote
AIIA
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
SIGGRAPH
1994
ACM
15 years 1 months ago
1994
ACM
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...
IJLT
2008
14 years 9 months ago
2008
: This paper addresses the challenge of enhancing social interaction through value-added connections among online community members engaged in knowledge exchange. We report on our ...