81 search results - page 16 / 17 » Process-Based Software Engineering: Building the Infrastruct... |
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories. The eduSource project in its holistic approach to building a network of learning object ...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...