3516 search results - page 416 / 704 » Integrating Security Modeling into Embedded System Design |
111
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully ado...
141
click to vote
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
122
click to vote
ICRE
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
139
click to vote
CICLING
2001
Springer
15 years 9 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
133
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...