Sciweavers

3119 search results - page 341 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
BPM
2006
Springer
103views Business» more  BPM 2006»
15 years 8 months ago
IT Support for Release Management Processes in the Automotive Industry
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...
Dominic Müller, Joachim Herbst, Markus Hammor...
MINAR
1998
Springer
117views Multimedia» more  MINAR 1998»
15 years 9 months ago
Supporting Video Applications Through 4DIS Temporal Framework
Abstract. Video has become an essential component of multimedia applications nowadays. To support multimedia and video applications efciently, video objects must be modeled and str...
Rynson W. H. Lau, Hong Va Leong, Qing Li, Antonio ...
SOSP
2007
ACM
16 years 2 months ago
Generalized file system dependencies
Reliable storage systems depend in part on “write-before” relationships where some changes to stable storage are delayed until other changes commit. A journaled file system, ...
Christopher Frost, Mike Mammarella, Eddie Kohler, ...
GLVLSI
2007
IEEE
141views VLSI» more  GLVLSI 2007»
15 years 9 months ago
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
DBSEC
2006
131views Database» more  DBSEC 2006»
15 years 6 months ago
Interactive Analysis of Attack Graphs Using Relational Queries
Abstract. Attack graph is important in defending against well-orchestrated network intrusions. However, the current analysis of attack graphs requires an algorithm to be developed ...
Lingyu Wang, Chao Yao, Anoop Singhal, Sushil Jajod...