2935 search results - page 104 / 587 » An Integrated Approach to High Integrity Software Verificati... |
153
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
165
click to vote
HCI
2009
15 years 2 months ago
2009
Abstract. The current Web 2.0 stage of the Internet provided the basis for web-based communities and services aimed at collaboration and information sharing. Furthermore, Internet ...
123
Voted
ISPD
2006
ACM
15 years 10 months ago
2006
ACM
The integration of retiming and simultaneous supply/threshold voltage scaling has a potential to enable more rigorous total power reduction. However, such integration is a highly ...
128
click to vote
WCRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
139
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...