4348 search results - page 151 / 870 » Using UML for Modeling Complex Real-Time Systems |
124
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
108
Voted
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
139
Voted
SACMAT
2006
ACM
15 years 8 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
114
Voted
WSC
2007
15 years 5 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
137
Voted
CODES
2008
IEEE
15 years 9 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...