70 search results - page 8 / 14 » A Case-Based Approach to Explore Validation Experience |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
SEMWEB
2005
Springer
14 years 25 days ago
2005
Springer
Abstract. Ontology alignment is a prerequisite in order to allow for interoperation between different ontologies and many alignment strategies have been proposed to facilitate the ...
PDPTA
2010
13 years 5 months ago
2010
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
SPIN
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...