10038 search results - page 1569 / 2008 » Model Checking for Managers |
148
click to vote
IH
2009
Springer
16 years 1 months ago
2009
Springer
Many illegal copies of digital movies by camcorder capture are found on the Internet or on the black market before their official release. Due to the angle of the camcorder relativ...
163
click to vote
ISCIS
2009
Springer
16 years 1 months ago
2009
Springer
— The notion of affordances is often directly linked with studies on mirror and canonical neurons as well as studies that try to relate language. In our previous work, we had dev...
150
click to vote
SUM
2009
Springer
16 years 1 months ago
2009
Springer
Different methods have been proposed for merging multiple and potentially conflicting informations. Sum-based operators offer a natural method for merging commensurable prioriti...
237
click to vote
AUTONOMICS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
158
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
This paper proposes an approach to comparison of spatial hypertext collections which avoids becoming entangled in complexities of version management and merging. We also propose a...