10159 search results - page 218 / 2032 » System Design Validation Using Formal Models |
168
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
116
click to vote
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
135
click to vote
TKDE
2008
15 years 2 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
114
click to vote
SIGCPR
2006
ACM
15 years 9 months ago
2006
ACM
This research seeks to validate a comprehensive model of quality in the context of e-business systems. It also extends the UTAUT model with e-quality, trust, and satisfaction cons...
125
click to vote
FDL
2011
IEEE
14 years 2 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...