10159 search results - page 452 / 2032 » System Design Validation Using Formal Models |
139
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
191
click to vote
ARCS
2012
Springer
14 years 15 days ago
2012
Springer
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...
130
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
175
click to vote
ROOM
2000
15 years 6 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
142
Voted
MASCOTS
2008
15 years 6 months ago
2008
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...