1888 search results - page 160 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
147
Voted
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
127
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
153
Voted
PVG
2003
IEEE
15 years 9 months ago
2003
IEEE
While commodity computing and graphics hardware has increased in capacity and dropped in cost, it is still quite difficult to make effective use of such systems for general-purpos...
129
Voted
JCS
2006
15 years 3 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
181
Voted
IPPS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...