25137 search results - page 69 / 5028 » Self-healing Information Systems |
ITP
2006
13 years 7 months ago
2006
Purpose
ICFEM
2010
Springer
13 years 6 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...
ISMIR
2000
Springer
13 years 11 months ago
2000
Springer
To make multimedia data easily retrieved, we use metadata to describe the information, so that search engines or other information filter tools can effectively and efficiently loc...
WETICE
2006
IEEE
14 years 1 months 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...
MOBICOM
2005
ACM
14 years 1 months 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...