505 search results - page 21 / 101 » Implementation of Belief Change Operators Using BDDs |
NCA
2007
IEEE
15 years 3 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Peer-to-peer networks consist of thousands or millions of nodes that might join and leave arbitrarily. The evaluation of new protocols in real environments is many times practical...
IWSEC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
JCSC
2000
14 years 9 months ago
2000
A long range Laser Range Finder (LRF) is proposed and developed in this paper. A mathematical model, which relates the relation between object distance and Position Sensitive Dete...