1650 search results - page 109 / 330 » How to Turn the Page |
151
click to vote
EMISA
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The purpose of a computerized information system is to improve dataintensive business processes in an organization. The development of such systems itself is data-intensi...
167
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
180
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
145
click to vote
CCS
1993
ACM
15 years 10 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
151
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...