Sciweavers

796 search results - page 34 / 160
» Space Bionanorobotic Systems: Design and Applications
Sort
View
110
Voted
CIKM
2010
Springer
15 years 14 days ago
StableBuffer: optimizing write performance for DBMS applications on flash devices
Flash devices have been widely used in embedded systems, laptop computers, and enterprise servers. However, the poor random writes have been an obstacle to running write-intensive...
Yu Li, Jianliang Xu, Byron Choi, Haibo Hu
IJAIT
2006
136views more  IJAIT 2006»
15 years 1 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
105
Voted
CHI
2005
ACM
16 years 2 months ago
Modal spaces: spatial multiplexing to mediate direct-touch input on large displays
We present a new interaction technique for large directtouch displays called Modal Spaces. Modal interfaces require the user to keep track of the state of the system. The Modal Sp...
Katherine Everitt, Chia Shen, Kathy Ryall, Clifton...
HT
2005
ACM
15 years 7 months ago
The evolving mSpace platform: leveraging the semantic web on the trail of the memex
Vannevar Bush proposed the memex as a means to support building knowledge in the way he says the human brain works: by association. Achieving this vision has been a core motivatio...
Monica M. C. Schraefel, Daniel A. Smith, Alisdair ...
COORDINATION
2005
Springer
15 years 7 months ago
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
Giovanni Russello, Michel R. V. Chaudron, Maarten ...