2614 search results - page 281 / 523 » Customizable Data Distribution for Shared Data Spaces |
135
click to vote
ICMI
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes techniques that allow users to collaborate on tablet computers that employ distributed sensing techniques to establish a privileged connection between devices...
268
Voted
POPL
2009
ACM
16 years 5 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
127
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— A hormone-inspired task scheduling method is described which assigns tasks to a group of robots, taking into account the robots’ performances. This method draws on previous w...
146
click to vote
CCGRID
2007
IEEE
15 years 11 months ago
2007
IEEE
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
171
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...