2004 search results - page 327 / 401 » Comparison of Model Checking Tools for Information Systems |
108
click to vote
ERCIMDL
2007
Springer
15 years 1 months ago
2007
Springer
The German Remote Sensing Data Center (DFD) has developed a digital library for the long-term management of earth observation data products. This Product Library is a central part ...
INFORMATICALT
2006
14 years 11 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
109
click to vote
SAS
1999
Springer
15 years 4 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
108
click to vote
CLEF
2007
Springer
15 years 6 months ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
HASKELL
2009
ACM
15 years 6 months ago
2009
ACM
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...