Sciweavers

15253 search results - page 317 / 3051
» Integer-Programming Software Systems
Sort
View
203
Voted
SEUS
2008
IEEE
16 years 1 months ago
Model Based Synthesis of Embedded Software
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
Daniel D. Gajski, Samar Abdi, Ines Viskic
SAFECOMP
2009
Springer
15 years 11 months ago
A Foundation for Requirements Analysis of Dependable Software
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
Denis Hatebur, Maritta Heisel
WICSA
2004
15 years 8 months ago
Software Architecture for Mobile Distributed Computing
Today's wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the
Valérie Issarny, Ferda Tartanoglu, Jinshan ...
WSC
1998
15 years 8 months ago
TAYLOR II Manufacturing Simulation Software
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
William B. Nordgren
IASTEDSE
2004
15 years 8 months ago
Types of quality of service contracts for component-based systems
In this paper, we identify the different roles and contract types which are important in providing Quality of Service (QoS) properties of component-based systems. A surprising res...
Steffen Zschaler, Simone Röttger