542 search results - page 38 / 109 » SystemJ: A GALS language for system level design |
JOT
2007
14 years 11 months ago
2007
This paper describes a Quality of Service (QoS) management approach and architecture as well as a case study for Service Level Management (SLM). Our approach brings in a new persp...
102
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
110
click to vote
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
ENTCS
2006
14 years 11 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...