37 search results - page 8 / 8 » Generating Counterexamples for Multi-valued Model-Checking |
118
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
133
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...