542 search results - page 38 / 109 » SystemJ: A GALS language for system level design |
JOT
2007
13 years 7 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...
EMSOFT
2006
Springer
13 years 11 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...
TOOLS
1999
IEEE
13 years 12 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
13 years 7 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
13 years 9 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...