Sciweavers

985 search results - page 74 / 197
» Abstract Interactions and Interaction Refinement in Model-Dr...
Sort
View
136
Voted
ICLP
1995
Springer
15 years 7 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
132
Voted
IUI
1998
ACM
15 years 7 months ago
Software Architecture Critics in Argo
Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
Jason E. Robbins, David M. Hilbert, David F. Redmi...
126
Voted
ICPP
2006
IEEE
15 years 9 months ago
Salsa: Scalable Asynchronous Replica Exchange for Parallel Molecular Dynamics Applications
— This paper presents Salsa, a novel, decentralized and asynchronous realization of the “replica exchange” algorithm for simulating the structure, function, folding, and dyna...
Li Zhang, Manish Parashar, Emilio Gallicchio, Rona...
107
Voted
MHCI
2004
Springer
15 years 9 months ago
Butler: A Universal Speech Interface for Mobile Environments
Abstract. Speech interfaces are about to be integrated in consumer appliances and embedded systems and are expected to be used by mobile users in ubiquitous computing environments....
Botond Pakucs
118
Voted
EHCI
2001
15 years 5 months ago
Mobile Collaborative Augmented Reality: The Augmented Stroll
Abstract. The paper focuses on Augmented Reality systems in which interaction with the real world is augmented by the computer, the task being performed in the real world. We first...
Philippe Renevier, Laurence Nigay