2270 search results - page 434 / 454 » Modelling Secure IT Systems - A Survey |
129
Voted
SC
2004
ACM
15 years 8 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...
110
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
126
click to vote
PADL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
154
Voted
MA
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...
134
Voted
FMLDO
1990
Springer
15 years 7 months ago
1990
Springer
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality available in commercial relational DBMSs of today. One important consequence of this is...