2672 search results - page 473 / 535 » Hybridizing Concept Languages |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
CHES
2006
Springer
15 years 3 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
105
click to vote
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...