1585 search results - page 258 / 317 » A framework for computer-aided validation |
ENTCS
2006
14 years 12 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
CN
2007
14 years 12 months ago
2007
In this paper, we develop a rigorous, unified framework based on ordinary differential equations (ODEs) to study epidemic routing and its variations. These ODEs can be derived a...
CONCURRENCY
2007
14 years 12 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...
ISI
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. In many organizations, it is common to control access to confidential information based on the need-to-know principle; The requests for access are authorized only if the ...
104
click to vote
ISR
2006
14 years 12 months ago
2006
Prior research suggests that supply chain collaboration has enabled companies to compete more efficiently in a global economy. We investigate a class of collaboration software for...