Sciweavers

1938 search results - page 233 / 388
» Dependable Software
Sort
View
PRDC
2007
IEEE
14 years 3 months ago
Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
Christian Buckl, Matthias Regensburger, Alois Knol...
EPEW
2007
Springer
14 years 3 months ago
Resource Sharing in Performance Models
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
Vlastimil Babka, Martin Decký, Petr Tuma
ICFEM
2007
Springer
14 years 3 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
IFIP
2007
Springer
14 years 3 months ago
Towards UML-Intensive Framework for Model-Driven Development
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
Darius Silingas, Ruslanas Vitiutinas
MTSR
2007
Springer
14 years 3 months ago
Towards a Definition of Digital Information Preservation Object
In this paper, we discuss long-term digital preservation from an information perspective, rather than the predominant approaches; the Archival and the Technocratic Approach. Inform...
Hugo Quisbert, Margarita Korenkova, Ann Häger...