2687 search results - page 68 / 538 » Formal Analysis of PKCS |
CAV
2009
Springer
16 years 1 months ago
2009
Springer
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
97
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
82
Voted
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
ENTCS
2008
15 years 19 days ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...