Sciweavers

4454 search results - page 117 / 891
» Designing components for e-services
Sort
View
ASPDAC
2000
ACM
99views Hardware» more  ASPDAC 2000»
15 years 10 months ago
Reuse and protection of intellectual property in the SpecC system
— In system-level design, the key to cope with the complexities involved with System-on-Chip (SOC) designs, is the reuse of Intellectual Property (IP). With the increasing demand...
Rainer Dömer, Daniel Gajski
ESOP
2012
Springer
14 years 2 months ago
Complete Monitors for Behavioral Contracts
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias F...
ARCS
2006
Springer
15 years 10 months ago
ORCAN: A platform for complex parallel simulation software
: The Open Reflective Component Architecture (ORCAN) is a component based software platform for Simulation software. It enables to build applications out of runtime exchangeable co...
Jan Treibig, Silke Berler, Ulrich Rüde
DATE
2010
IEEE
201views Hardware» more  DATE 2010»
15 years 11 months ago
COTS-based applications in space avionics
—The use of commercial electronic components is increasingly attractive for the space domain. This paper discusses the current degree of use of these components in space avionics...
Michel Pignol
SCS
2003
15 years 7 months ago
Safety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Philippa Conmy, Mark Nicholson, John A. McDermid