4460 search results - page 232 / 892 » Formal methods for interactive systems |
147
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents the Esperanto Broker, a communication platform for nomadic computing applications. By using this broker, developers can model application components as a set of...
144
click to vote
SIGGRAPH
1991
ACM
15 years 8 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
146
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
We present an interactive multimedia interface for automatically summarizing large corpora of evaluative text (e.g. online product reviews). We rely on existing techniques for ext...
153
Voted
PG
2002
IEEE
15 years 10 months ago
2002
IEEE
We present an interactive method of visualizing both manifold and non-manifold implicit surfaces. The implicit surfaces are directly visualized at interactive frame rates independ...
113
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...