28080 search results - page 450 / 5616 » Multimedia Information Systems |
192
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
260
click to vote
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
The size of the Web as well as user bases of search systems continue to grow exponentially. Consequently, providing subsecond query response times and high query throughput become...
159
click to vote
WETICE
2006
IEEE
16 years 27 days ago
2006
IEEE
The goal of the ProFlex workshop is to bring together practitioners and researchers from different communities who share an interest in flexibility of process-aware information s...
172
click to vote
MOBICOM
2005
ACM
16 years 13 days ago
2005
ACM
Interaction design is a major issue for mobile information systems in terms of not only the choice of input-output channels and presentation of information, but also the applicati...