2004 search results - page 55 / 401 » Comparison of Model Checking Tools for Information Systems |
142
click to vote
CBSE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
SOSP
1997
ACM
15 years 1 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
ACL
2006
15 years 1 months ago
2006
The trend in information retrieval systems is from document to sub-document retrieval, such as sentences in a summarization system and words or phrases in question-answering syste...
103
click to vote
IDEAS
1997
IEEE
15 years 4 months ago
1997
IEEE
A variety of heterogenous data sources is available in the field of molecular biology. Our focus lies on the biological sequence data, i. e. data maintained in collections like EM...