Sciweavers

3706 search results - page 12 / 742
» System Description: E-KRHyper
Sort
View
ISOLA
2010
Springer
13 years 6 months ago
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
Steffen Kollmann, Victor Pollex, Kilian Kempf, Fra...
HYBRID
1992
Springer
13 years 11 months ago
An Approach to the Description and Analysis of Hybrid Systems
Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, ...
CORR
2004
Springer
113views Education» more  CORR 2004»
13 years 7 months ago
Pattern Reification as the Basis for Description-Driven Systems
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
Florida Estrella, Zsolt Kovacs, Jean-Marie Le Goff...
MUC
1992
13 years 11 months ago
GE-CMU: description of the TIPSTER/SHOGUN system as used for MUC-4
The GE-CMU team is developing the TIPSTER/SHOGUN system under the governmentsponsored TIPSTER program, which aims to advance coverage, accuracy, and portability in tex t interpret...
Paul S. Jacobs, George B. Krupka, Lisa F. Rau, Tod...
ICSM
1997
IEEE
13 years 12 months ago
Dynamic Traceability Links Supported by a System Architecture Description
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
Eirik Tryggeseth, Øystein Nytrø