10568 search results - page 211 / 2114 » Computer Intelligence and Formalization |
140
click to vote
IWANN
2007
Springer
15 years 9 months ago
2007
Springer
This paper is about the key role of Personalization through Ambient Intelligence in the development of Assistive Technologies for the elders. Ambient Intelligence implies three rel...
123
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
146
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
132
click to vote
AINA
2008
IEEE
15 years 5 months ago
2008
IEEE
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...
134
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...