1833 search results - page 237 / 367 » Mechanized Verification with Sharing |
164
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Performance and reliability of content access in mobile networks is conditioned jointly by the number and location of content replicas deployed at the network nodes. The...
166
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
205
click to vote
EPS
1995
Springer
15 years 10 months ago
1995
Springer
PANIC (Parallelism And Neural networks In Classifier systems) is a parallel system to evolve behavioral strategies codified by sets of rules. It integrates several adaptive techni...
166
click to vote
ECML
1991
Springer
15 years 10 months ago
1991
Springer
Robust reasoning requires learning from problem solving episodes. Past experience must be compiled to provide adaptation to new contingencies and intelligent modification of solut...
146
click to vote
PDPTA
2004
15 years 7 months ago
2004
Telepresent Agents are software Agents that are instantiated simultaneously within two or more distinct computer applications (called Locales) which are operating at distinct nodes...