5398 search results - page 199 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
168
click to vote
ELPUB
2004
ACM
15 years 12 months ago
2004
ACM
tions, allowing interlinking of abstracting and indexing databases with full-text sources, and providing the ability to search across multiple databases simultaneously. Publishers ...
154
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
240
click to vote
WCET
2010
15 years 4 months ago
2010
The assumption of task independence has long been consubstantial with the formulation of many schedulability analysis techniques. That assumption is evidently advantageous for the...
302
click to vote
ICFP
2009
ACM
16 years 7 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...
151
click to vote
WETICE
1999
IEEE
15 years 10 months 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...