9989 search results - page 1656 / 1998 » A CLP Approach to Modelling Systems |
184
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
176
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we propose the use of an agent-based architecture to enhance workflow system capacity to support interprofessional, patient-centred palliative care delivery. This pa...
209
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...
171
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Fractional Brownian motion (fBm) emerged as a useful model for self-similar and long-range dependent Internet traffic. Asymptotic, respectively, approximate performance measures ar...
184
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...