775 search results - page 124 / 155 » Designing playful interactions for social interaction and ph... |
PERCOM
2009
ACM
14 years 2 months ago
2009
ACM
—One part of the vision of ubiquitous computing is the integration of sensing and actuation nodes into everyday objects, clothes worn on the body, and in large numbers into the e...
CSCWD
2009
Springer
14 years 2 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
EDUTAINMENT
2009
Springer
14 years 2 months ago
2009
Springer
Acts of interpersonal touch – a touch shared between two people – are used by couples to communicate in a simple and emotionally intimate way. In this paper, we argue that the ...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
The governance of open multi-agent systems is particular important since those systems are composed by heterogeneous, autonomous and independently designed agents. Such governance ...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...