2813 search results - page 263 / 563 » Formalizing Architectural Connection |
192
click to vote
IJCINI
2007
15 years 6 months ago
2007
: The theme of this issue of IJCINI is on cognitive mechanisms of autonomic computing and laws of human cooperative work organization. This editorial addresses key notions of this ...
175
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
197
click to vote
AGTIVE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
158
click to vote
ACSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
178
click to vote
IEEESCC
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...