8623 search results - page 388 / 1725 » Software engineering for secure systems |
211
Voted
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
202
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
Despite our best efforts, any sufficiently complex computer system has vulnerabilities. It is safe to assume that such vulnerabilities can be exploited by attackers who will be ab...
196
click to vote
TC
2010
15 years 1 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
164
Voted
POLICY
2005
Springer
16 years 10 days ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
178
click to vote
ISESE
2005
IEEE
16 years 13 days ago
2005
IEEE
One of the key goals of open source development is the sharing of knowledge, experience, and solutions that pertain to a software system and its problem domain. Source code clonin...