1021 search results - page 20 / 205 » Concepts in Proof Planning |
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
WECWIS
2006
IEEE
14 years 2 months ago
2006
IEEE
— To ensure the operability and reliability of large scale Enterprise Resource Planning Systems (ERP), a peak-load oriented hardware sizing is often used. Better utilization can ...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
We present an architectural framework for specifying and processing co-reservations in Grid environments. Compared to other approaches, our co-reservation framework is more genera...
MSE
2003
IEEE
14 years 1 months ago
2003
IEEE
Intellectual property (IP) reuse based system design is becoming an industry standard recently. However, current educational system is not effective in the training of engineers ...
WETICE
1999
IEEE
14 years 26 days ago
1999
IEEE
This paper describes a system that supports software development processes in virtual software corporations. A virtual software corporation consists of a set of enterprises that c...