4382 search results - page 771 / 877 » Query by Semantic Example |
125
click to vote
CRYPTO
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
100
click to vote
DALT
2006
Springer
15 years 6 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
107
Voted
ESWS
2006
Springer
15 years 6 months ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
104
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
136
click to vote
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...