2002 search results - page 64 / 401 » Designing Organizations: Towards a Model |
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
JIB
2007
13 years 9 months ago
2007
The informative value of biomolecular networks has shifted from being solely information resources for possible cellular partners (whether these embody proteins, (ribo)nucleic aci...
COLCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Within collaborative computing, computer mediated communications are evolving rapidly thanks to the development of new technologies. The facilitation of awareness and discovery ...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
We present an empirical investigation of video-mediated free play between 13 pairs of friends (ages 7 and 8). The pairs spent 10 minutes playing with each of four different protot...