7555 search results - page 1463 / 1511 » The Type System of DBPL |
NPAR
2010
ACM
14 years 23 days ago
2010
ACM
Recent years have witnessed significant advances in 3D brush modeling and simulation in digital paint tools. Compared with traditional 2D brushes, a 3D brush can be both more intu...
ACSAC
2002
IEEE
14 years 19 days ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
AIPR
2002
IEEE
14 years 19 days ago
2002
IEEE
Light spectroscopic methods are critical to advances in molecular characterization of disease processes. However, these methods have been limited to in-vitro or cell culture studi...
COOPIS
2002
IEEE
14 years 19 days ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
CSFW
2002
IEEE
14 years 19 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...