Sciweavers

535 search results - page 39 / 107
» The Ragnarok Architectural Software Configuration Management...
Sort
View
CONCUR
2008
Springer
13 years 10 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
COMPSAC
2002
IEEE
14 years 1 months ago
Towards a Software Architecture for Distributed and Mobile Collaborative Systems
Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...
Schahram Dustdar, Harald Gall
DSRT
2000
IEEE
14 years 1 months ago
A Generic Rollback Manager for Optimistic HLA Simulations
This paper describes the addition of an extra piece of software, a rollback manager, to implement state saving and rollback management for optimistic federates in the High Level A...
Fernando Vardânega, Carlos Maziero
DIMVA
2009
13 years 9 months ago
A Service Dependency Modeling Framework for Policy-Based Response Enforcement
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
Nizar Kheir, Hervé Debar, Fréd&eacut...
ADBIS
2005
Springer
101views Database» more  ADBIS 2005»
14 years 2 months ago
Conceptual Content Management for Software Engineering Processes
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
Sebastian Bossung, Hans-Werner Sehring, Michael Sk...