2004 search results - page 394 / 401 » Comparison of Model Checking Tools for Information Systems |
JCDL
2005
ACM
15 years 5 months ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
130
click to vote
ELPUB
2007
ACM
15 years 3 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
CP
2006
Springer
15 years 3 months ago
2006
Springer
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...
111
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
Media studies concerns the study of production, content, and/or reception of various types of media. Today’s continuous production and storage of media is changing the way media...
135
click to vote
COMGEO
2010
ACM
14 years 9 months ago
2010
ACM
The vision of an integrated Earth observation system to help protect and sustain the planet and its inhabitants is significant and timely, and thus has been identified recently by...