Sciweavers

1721 search results - page 196 / 345
» The fundamentals of hybrid systems modelers
Sort
View
FEDCSIS
2011
87views more  FEDCSIS 2011»
14 years 6 months ago
Enhanced CakES representing Safety Analysis results of Embedded Systems
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
Yasmin I. Al-Zokari, Daniel Schneider, Dirk Zeckze...
EOR
2006
106views more  EOR 2006»
15 years 6 months ago
Synergy analysis of collaborative supply chain management in energy systems using multi-period MILP
Energy, a fundamental entity of modern life, is usually produced using fossil fuels as the primary raw material. A consequence of burning fossil fuels is the emission of environme...
Ahu Soylu, Cihan Oruç, Metin Türkay, K...
TCOM
2008
128views more  TCOM 2008»
15 years 6 months ago
Cross-Layer Rate and Power Adaptation Strategies for IR-HARQ Systems over Fading Channels with Memory: A SMDP-Based Approach
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...
Ashok K. Karmokar, Dejan V. Djonin, Vijay K. Bharg...
IFIP
2001
Springer
15 years 11 months ago
Systemic Functional Hypertexts (SFHT):
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
Alexander Mehler, Rodney J. Clarke
DEXAW
2008
IEEE
126views Database» more  DEXAW 2008»
15 years 8 months ago
Incorporating Database Systems into a Secure Software Development Methodology
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
Eduardo B. Fernández, Jan Jürjens, Nob...