627 search results - page 19 / 126 » Modular Concurrency - A New Approach to Manageable Software |
APBC
2003
13 years 10 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
KESAMSTA
2011
Springer
12 years 11 months ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
ICWL
2005
Springer
2005
Springer
Building Learning Management Systems Using IMS Standards: Architecture of a Manifest Driven Approach
14 years 2 months ago
Among the existing web-based Learning Management Systems (LMSs), there is an exponentially increasing need of content interoperability. This has caused the apparition of different ...