Sciweavers

3025 search results - page 477 / 605
» Interaction in the large
Sort
View
CN
2004
108views more  CN 2004»
13 years 9 months ago
Smart dust, friend or foe?--Replacing identity with configuration trust
Smart dust motes are miniature self-contained systems that may be deployed in very large numbers. In military applications these devices are subject to different threats than conv...
Howard Chivers, John A. Clark
CONSTRAINTS
2004
129views more  CONSTRAINTS 2004»
13 years 9 months ago
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
François Fages, Sylvain Soliman, Rém...
CGF
2002
168views more  CGF 2002»
13 years 9 months ago
Fast Continuous Collision Detection between Rigid Bodies
This paper introduces a fast continuous collision detection technique for polyhedral rigid bodies. As opposed to most collision detection techniques, the computation of the first ...
Stephane Redon, Abderrahmane Kheddar, Sabine Coqui...
CSCW
2002
ACM
13 years 9 months ago
Contact management: identifying contacts to support long-term communication
Much of our daily communication activity involves managing interpersonal communications and relationships. Despite its importance, this activity of contact management is poorly un...
Steve Whittaker, Quentin Jones, Loren G. Terveen
FUIN
2000
76views more  FUIN 2000»
13 years 9 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski