686 search results - page 104 / 138 » Nonmonotonic inference operations |
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
SEUS
2007
IEEE
14 years 4 months ago
2007
IEEE
Smart Home System (SHS) is one of popular applications in ubiquitous computing, which provides convenient services for a user with userfriendly intelligent system interfaces. Among...
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
SAS
2007
Springer
14 years 4 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
VLDB
2007
ACM
14 years 4 months ago
2007
ACM
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...