1281 search results - page 46 / 257 » BASIS: A Biological Approach to System Information Security |
136
click to vote
IFM
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
107
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
Web-based third-party architectures for data publishing are today receiving growing attention, due to their scalability and the ability to efficiently manage large numbers of use...
EGOV
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we propose a solution to secure interoperability between electronic ID management infrastructures enabling the provision of cross-border eServices to mobile citizens....
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
124
click to vote
ISI
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper, we report our work on developing and evaluating a prototype system aimed at addressing the information monitoring and sharing challenges in the law enforce...