Sciweavers

3843 search results - page 372 / 769
» System support for shared objects
Sort
View
ICRA
2010
IEEE
79views Robotics» more  ICRA 2010»
15 years 5 months ago
Robot pebbles: One centimeter modules for programmable matter through self-disassembly
— This paper describes the design, fabrication, and experimental results of a programmable matter system capable of 2D shape formation through subtraction. The system is composed...
Kyle Gilpin, Ara Knaian, Daniela Rus
ICSE
2005
IEEE-ACM
16 years 6 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...
ACMDIS
2006
ACM
16 years 22 days ago
Sensorial interfaces
  Sensorial  interfaces  are  based  on  augmenting  existing  physical  objects  with  digital  information.  We  propose  sensorial activity theory to relate mu...
Angela Chang, Hiroshi Ishii
CSCW
2000
ACM
15 years 11 months ago
Copies convergence in a distributed real-time collaborative environment
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opâˆ...
Nicolas Vidot, Michèle Cart, Jean Ferri&eac...
WCRE
2003
IEEE
16 years 1 days ago
Toward an environment for comprehending distributed systems
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
Maher Salah, Spiros Mancoridis