2212 search results - page 295 / 443 » Automated software wrapping |
159
click to vote
TFM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
148
click to vote
WDAG
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
165
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
216
Voted
FROCOS
2009
Springer
16 years 21 days ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
171
click to vote
SEMWEB
2009
Springer
16 years 20 days ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...