2687 search results - page 264 / 538 » Formal Analysis of PKCS |
155
click to vote
SOFSEM
2007
Springer
16 years 24 days ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
218
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
171
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
145
click to vote
IUI
2005
ACM
16 years 7 days ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
165
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...