Sciweavers

5423 search results - page 725 / 1085
» Denial-of-service in automation systems
Sort
View
ICECCS
2005
IEEE
136views Hardware» more  ICECCS 2005»
16 years 15 days ago
Model-Based Design and Analysis of Permission-Based Security
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
Jan Jürjens, Markus Lehrhuber, Guido Wimmel
LICS
2005
IEEE
16 years 14 days ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...
ERCIMDL
2005
Springer
207views Education» more  ERCIMDL 2005»
16 years 13 days ago
DAR: A Digital Assets Repository for Library Collections
The Digital Assets Repository (DAR) is a system developed at the Bibliotheca Alexandrina, the Library of Alexandria, to create and maintain the digital library collections. The sys...
Iman Saleh, Noha Adly, Magdy Nagi
ICCBR
2005
Springer
16 years 12 days ago
Navigating Through Case Base Competence
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...
Maarten Grachten, F. Alejandro García, Jose...
PACT
2005
Springer
16 years 11 days ago
Experimenting with a Multi-agent E-Commerce Environment
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
Costin Badica, Maria Ganzha, Marcin Paprzycki, Ama...