4224 search results - page 62 / 845 » Reasoning about Choice |
WEBI
2007
Springer
15 years 5 months ago
2007
Springer
COMPSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
GRC
2005
IEEE
15 years 4 months ago
2005
IEEE
SWS
2005
ACM
15 years 4 months ago
2005
ACM
117
click to vote
CAV
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...