3384 search results - page 233 / 677 » More Testable Properties |
141
click to vote
REFSQ
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
161
click to vote
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper, we present EachWiki, an extension of Semantic MediaWiki characterized by an intelligent suggestion mechanism. It aims to facilitate the wiki authoring by r...
149
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
151
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
157
click to vote
TARK
2007
Springer
16 years 21 days ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...