1286 search results - page 12 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
ISORC
2002
IEEE
14 years 12 days ago
2002
IEEE
This paper examines the CORBA Naming, Event, Notification, Trading, Time and Security Services, with the objective of identifying the issues that must be addressed in order make ...
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
NSPW
2003
ACM
14 years 22 days ago
2003
ACM
The aim of this paper is to provide better support for the development of secure systems. We argue that current development practice suffers from two key problems: