7 search results - page 1 / 2 » A Framework for the Sound Specification of Cryptographic Tas... |
CSFW
2010
IEEE
13 years 7 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
ICCSA
2007
Springer
13 years 10 months ago
2007
Springer
Information aggregation is an important operation in wireless sensor networks executed for the purpose of monitoring and reporting of the environmental data. Due to the performance...
ESWS
2007
Springer
13 years 8 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
CKEC
1991
13 years 8 months ago
1991
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...