2813 search results - page 222 / 563 » Formalizing Architectural Connection |
189
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
138
click to vote
BPM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
146
click to vote
ISPEC
2007
Springer
16 years 21 days ago
2007
Springer
Considerable research and experiment results in recent years have shown that the server-proxy-user architecture represents an efficient and scalable new paradigm for multimedia con...
144
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
189
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...