3516 search results - page 147 / 704 » Integrating Security Modeling into Embedded System Design |
129
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
133
Voted
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
136
click to vote
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
120
click to vote
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
103
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...