15754 search results - page 844 / 3151 » Programs are Knowledge Bases |
201
click to vote
RULEML
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
207
click to vote
ICCSA
2004
Springer
16 years 1 months ago
2004
Springer
Exception rules have been previously defined as rules with low interest and high confidence. In this paper a new approach to mine exception rules will be proposed and evaluated. In...
190
click to vote
EUROMICRO
2003
IEEE
16 years 29 days ago
2003
IEEE
Accurate and timely information is a key motivator in the widespread adoption of CBSE technology in Europe. Although there are overlaps and informal communications between researc...
169
click to vote
FCT
2003
Springer
16 years 26 days ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
196
click to vote
DAC
1998
ACM
15 years 12 months ago
1998
ACM
This papers describes a new, fast and economical methodology to test linear analog circuits based on adaptive algorithms. To the authors knowledge, this is the first time such tec...