3256 search results - page 126 / 652 » Applications of Formal Methods to System Design and Verifica... |
127
click to vote
DSD
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
136
click to vote
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
146
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
177
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
105
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...