Sciweavers

638 search results - page 97 / 128
» Animation modeling with petri nets
Sort
View
IPPS
2002
IEEE
14 years 18 days ago
Failure Behavior Analysis for Reliable Distributed Embedded Systems
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
Mario Trapp, Bernd Schürmann, Torsten Tettero...
ICECCS
2005
IEEE
92views Hardware» more  ICECCS 2005»
14 years 1 months ago
Secure Software Architectures Design by Aspect Orientation
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Ga...
SEKE
2004
Springer
14 years 1 months ago
Integrating Security Administration into Software Architectures Design
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
Huiqun Yu, Xudong He, Yi Deng, Lian Mo
ICCAD
1999
IEEE
99views Hardware» more  ICCAD 1999»
13 years 12 months ago
FunState - an internal design representation for codesign
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Ro...
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
14 years 2 months ago
Finding Structure in Unstructured Processes: The Case for Process Mining
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
Wil M. P. van der Aalst, Christian W. Günther