2687 search results - page 315 / 538 » Formal Analysis of PKCS |
164
click to vote
CSMR
2005
IEEE
16 years 7 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
140
click to vote
ECBS
2005
IEEE
16 years 7 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
163
click to vote
FM
2005
Springer
16 years 4 days ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
154
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
162
click to vote
DISCEX
2003
IEEE
15 years 12 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...