3718 search results - page 109 / 744 » IMPS: System Description |
124
click to vote
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
130
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
135
click to vote
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper presents a methodology to integrate information on power consumption in a high level functional description of a System-on-chip. The power dissipated during the executio...
112
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...
128
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...