Sciweavers

1098 search results - page 57 / 220
» System safety as an emergent property in composite systems
Sort
View
ISSS
2000
IEEE
129views Hardware» more  ISSS 2000»
14 years 1 months ago
IP Reuse in the System on a Chip Era
Intellectual Property (IP) Reuse is one of the keys for System on a Chip (SoC) design productivity improvement. Although IP reuse has been explored both technically and as a busin...
Warren Savage, John Chilton, Raul Camposano
TPPP
1994
14 years 28 days ago
Advanced Component Interface Specification
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
Manfred Broy
MM
2010
ACM
137views Multimedia» more  MM 2010»
13 years 9 months ago
Coming together: composition by negotiation
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
Arne Eigenfeldt
HYBRID
2003
Springer
14 years 2 months ago
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
Richard J. Boulton, Ruth Hardy, Ursula Martin
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
14 years 3 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...