4184 search results - page 2 / 837 » Names of Our Lives |
AVI
2010
13 years 7 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
ACSD
2005
IEEE
13 years 12 months ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
SOFTVIS
2006
ACM
14 years 5 days ago
2006
ACM
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...
DSN
2009
IEEE
14 years 1 months ago
2009
IEEE
Gossip-based information dissemination protocols are considered easy to deploy, scalable and resilient to network dynamics. They are also considered highly flexible, namely tunab...
CHI
2005
ACM
13 years 8 months ago
2005
ACM
Urban Atmospheres captures a unique, synergistic moment – expanding urban populations, rapid adoption of Bluetooth mobile devices, tiny ad hoc sensor networks, and the widesprea...