2056 search results - page 223 / 412 » Software Architectural Design Meets Security Engineering |
174
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
169
click to vote
EUROMICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
130
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
145
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...
153
click to vote
FAC
2006
15 years 5 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...