1392 search results - page 263 / 279 » Dynamic Data Structure Analysis for Java Programs |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
ALGORITHMICA
1999
14 years 9 months ago
1999
Abstract. The rational approach to pharmaceutical drug design begins with an investigation of the relationship between chemical structure and biological activity. Information gaine...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
The Health Level 7 Clinic Document Architecture (CDA) is an XML-based document markup standard that specifies the hierarchical structure and semantics of “clinical documents” ...
CCS
2003
ACM
15 years 2 months ago
2003
ACM
Web-based vulnerabilities represent a substantial portion of the security exposures of computer networks. In order to detect known web-based attacks, misuse detection systems are ...
DBPL
1991
Springer
15 years 1 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...