2210 search results - page 438 / 442 » Decision Support By Learning-On-Demand |
TACAS
2004
Springer
14 years 26 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
CISIS
2010
IEEE
14 years 26 days ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
HICSS
2003
IEEE
14 years 25 days ago
2003
IEEE
Abstract—Current mobile devices are often equipped with several network interfaces, which may be of different access technologies, both wireless and cellular. Different requireme...
P2P
2003
IEEE
14 years 24 days ago
2003
IEEE
Decentralized Peer to Peer (P2P) networks offer both opportunities and threats. Its open and decentralized nature makes it extremely susceptible to malicious users spreading harmf...
ICAIL
2003
ACM
14 years 24 days ago
2003
ACM
In the last decades the interest in the problem of comparing and harmonizing legislation has been steadily increasing. One reason is the increasing legal convergence between gover...