183 search results - page 1 / 37 » Beyond Being There |
CHI
2005
ACM
15 years 10 months ago
2005
ACM
In studies of virtual teams, it is difficult to determine pure effects of geographic isolation and uneven communication technology. We developed a multi-agent computer model in Ne...
CHI
1992
ACM
15 years 1 months ago
1992
ACM
AISB
2008
Springer
14 years 10 months ago
2008
Springer
: This paper allots creativity a central role in enabling human beings to develop beyond the undertaking and/or fulfilment of simple primary functions. This contention is significa...
DIALM
2003
ACM
15 years 2 months ago
2003
ACM
In this paper, we study an algorithmic model for wireless ad hoc and sensor networks that aims to be sufficiently close to reality as to represent practical realworld networks whi...
82
Voted
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...