627 search results - page 19 / 126 » Modular Concurrency - A New Approach to Manageable Software |
147
Voted
APBC
2003
15 years 5 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...
135
click to vote
SIGSOFT
2007
ACM
16 years 4 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 ...
214
Voted
KESAMSTA
2011
Springer
14 years 6 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...
227
click to vote
POPL
2005
ACM
16 years 4 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...
111
click to vote
ICWL
2005
Springer
2005
Springer
Building Learning Management Systems Using IMS Standards: Architecture of a Manifest Driven Approach
15 years 9 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 ...