Sciweavers

6530 search results - page 851 / 1306
» Application Integration
Sort
View
FLOPS
2006
Springer
15 years 11 months ago
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishn...
FMCAD
2006
Springer
15 years 11 months ago
Ario: A Linear Integer Arithmetic Logic Solver
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
Hossein M. Sheini, Karem A. Sakallah
AFRIGRAPH
2001
ACM
15 years 11 months ago
A gesture processing framework for multimodal interaction in virtual reality
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
Marc Erich Latoschik
UML
2000
Springer
15 years 11 months ago
Towards a UML profile for interaction design: the Wisdom approach
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
Nuno Jardim Nunes, João Falcão e Cun...
ICMCS
1995
IEEE
130views Multimedia» more  ICMCS 1995»
15 years 11 months ago
The Concord Algorithm for Synchronization of Networked Multimedia Streams
Synchronizing di erent data streams from multiple sources simultaneously at a receiver is one of the basic problems involved in multimedia distributed systems. This requirement st...
Narayanan Shivakumar, Cormac J. Sreenan, B. Narend...