1054 search results - page 179 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
178
click to vote
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...
131
click to vote
ROBOCOMM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
282
click to vote
WWW
2011
ACM
14 years 10 months ago
2011
ACM
Online social media are complementing and in some cases replacing person-to-person social interaction and redefining the diffusion of information. In particular, microblogs have ...
150
click to vote
BROADNETS
2006
IEEE
15 years 7 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
152
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...