2004 search results - page 87 / 401 » Comparison of Model Checking Tools for Information Systems |
131
click to vote
FMSD
2006
15 years 4 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
122
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...
130
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
We investigate genre effects on the task of automatic sentence segmentation, focusing on two important domains – broadcast news (BN) and broadcast conversation (BC). We employ a...
117
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
149
click to vote
NAR
2008
15 years 4 months ago
2008
In the major animal model species like mouse, fish or fly, detailed spatial information on gene expression over time can be acquired through whole mount in situ hybridization expe...