22909 search results - page 92 / 4582 » A System of Interaction and Structure |
137
click to vote
TCS
2008
15 years 4 months ago
2008
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...
175
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
125
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
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...
156
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
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...
163
click to vote
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
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...