3342 search results - page 658 / 669 » Automating Abstract Interpretation |
EDCC
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
HPCN
1999
Springer
13 years 12 months ago
1999
Springer
hima and I. Fujishiro, "Measuring volumetric coherence," In ACM SIGGRAPH98 Conference Abstracts and Applications, p.260, July 1998. 1999 K.Garatani, H.Nakamura, H.Okuda a...
ACSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract--Current Network Access Control (NAC) technologies manage the access of new devices into a network to prevent rogue devices from attacking network hosts or services. Typic...
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
Approximately eighteen percent (18%) of babies born in New South Wales (NSW), Australia require special care or neonatal intensive care admission. Premature babies can be up to 17...