3742 search results - page 530 / 749 » On the Use of Formal Techniques for Validation |
166
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
168
click to vote
WEBI
2007
Springer
16 years 20 days ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
178
click to vote
ASWEC
2006
IEEE
16 years 19 days ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
180
click to vote
MEMOCODE
2006
IEEE
16 years 17 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
148
click to vote
DISCEX
2003
IEEE
15 years 12 months ago
2003
IEEE
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...