1288 search results - page 63 / 258 » On Analysis of Design Component Contracts: A Case Study |
ICANN
2009
Springer
15 years 6 months ago
2009
Springer
The processes giving rise to an event related potential engage several evoked and induced oscillatory components, which reflect phase or non-phase locked activity throughout the mu...
110
click to vote
BIOCOMP
2007
15 years 1 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
129
click to vote
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
100
click to vote
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...