13591 search results - page 186 / 2719 » On the Implementation of Dynamic Evaluation |
170
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
159
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
An Archival Repository reliably stores digital objects for long periods of time (decades or centuries). The archival nature of the system requires new techniques for storing, inde...
180
click to vote
MIE
2008
15 years 8 months ago
2008
Though hospitals managers wish to have a unified medication system, physicians continue double registration of prescriptions. The traditions of prescribing both electronically and ...
178
click to vote
ISICT
2003
15 years 8 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
179
click to vote
PDPTA
2000
15 years 8 months ago
2000
In this paper, a Shopping Information Agent System (SIAS) is built based on mobile agent technology. It sends out agents to di erent hosts in an electronic marketplace. The agents ...