3516 search results - page 223 / 704 » Integrating Security Modeling into Embedded System Design |
184
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
177
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
198
click to vote
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
177
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
The publish/subscribe communication paradigm is an appealing mechanism for efficient content retrieval due to the decoupling of data sources and consumers. However, the location d...
179
Voted
CODES
2003
IEEE
16 years 11 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...