Sciweavers

457 search results - page 38 / 92
» Increasing Awareness in Distributed Software Development Wor...
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
14 years 3 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
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...
Robby, Matthew B. Dwyer, John Hatcliff
DSD
2007
IEEE
217views Hardware» more  DSD 2007»
14 years 3 months ago
Component-Based Hardware/Software Co-Simulation
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
Ping Hang Cheung, Kecheng Hao, Fei Xie
GROUP
2005
ACM
14 years 2 months ago
Supporting the shared experience of spectators through mobile group media
Interesting characteristics of large-scale events are their spatial distribution, their extended duration over days, and the fact that they are set apart from daily life. The incr...
Giulio Jacucci, Antti Oulasvirta, Antti Salovaara,...
AVI
2006
13 years 10 months ago
Distributed intelligence: extending the power of the unaided, individual human mind
The history of the human race is one of increasing intellectual capability. Since the time of our early ancestors, our brains have gotten no bigger; nevertheless, there has been a...
Gerhard Fischer
IPPS
1999
IEEE
14 years 1 months ago
An Approach for Measuring IP Security Performance in a Distributed Environment
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
Brett L. Chappell, David T. Marlow, Philip M. Irey...