1309 search results - page 119 / 262 » Supporting Group Awareness in Distributed Software Developme... |
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
TAICPART
2006
IEEE
14 years 3 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
HPCN
2000
Springer
14 years 23 days ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Successfully staging a mixed reality game in which online players are chased through a virtual city by runners located in the real world requires extensive orchestration work. An ...
JTAER
2010
13 years 7 months ago
2010
Technological developments now allow community groups, clubs, and even ordinary individuals to create their own, publicly accessible online digital multi-media collections. Howeve...