Sciweavers

22909 search results - page 92 / 4582
» A System of Interaction and Structure
Sort
View
164
Voted
TCS
2008
15 years 6 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
16 years 2 days ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
ATAL
2006
Springer
15 years 10 months ago
Integrating parallel interactions into cooperative search
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
Efrat Manisterski, David Sarne, Sarit Kraus
179
Voted
CC
2001
Springer
150views System Software» more  CC 2001»
15 years 9 months ago
SmartTools: A Generator of Interactive Environments Tools
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
Isabelle Attali, Carine Courbis, Pascal Degenne, A...
SIGGRAPH
2000
ACM
15 years 10 months ago
Tangible interaction + graphical interpretation: a new approach to 3D modeling
Construction toys are a superb medium for creating geometric models. We argue that such toys, suitably instrumented or sensed, could be the inspiration for a new generation of eas...
David B. Anderson, James L. Frankel, Joe Marks, As...