3507 search results - page 594 / 702 » Slicing for architectural analysis |
210
click to vote
ICRE
1996
IEEE
15 years 11 months ago
1996
IEEE
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...
231
click to vote
ISSS
1996
IEEE
15 years 11 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
197
click to vote
ACMSE
2009
ACM
15 years 11 months ago
2009
ACM
The convergence of various multimedia communications that includes voice, video and data presents many opportunities for enabling unified communication but paradoxically leads to ...
203
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
208
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...