3931 search results - page 720 / 787 » Separation logic and abstraction |
102
click to vote
CNSM
2010
2010
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
14 years 7 months ago
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...
DLOG
2010
14 years 7 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
FPL
2010
Springer
14 years 7 months ago
2010
Springer
Abstract--Modular multiplication of long integers is an important building block for cryptographic algorithms. Although several FPGA accelerators have been proposed for large modul...
ICTAI
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
IDEAS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...