1030 search results - page 6 / 206 » Happenings |
CAV
2010
Springer
2010
Springer
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
14 years 11 months ago
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
As virtual characters become more autonomous, their use in interactive drama is growing. By creating interesting and well authored personalities, these characters are able to inte...
CLEF
2008
Springer
14 years 11 months ago
2008
Springer
CLIMA
2010
14 years 11 months ago
2010
ECIS
2004
14 years 10 months ago
2004
Software Process Improvement (SPI) has been widely adopted by software organizations to enhance their capability to effectively deliver quality software. The approach has several ...