26957 search results - page 200 / 5392 » Information Systems Modernization |
117
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
135
click to vote
ICFEM
2010
Springer
15 years 3 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...
136
click to vote
ISMIR
2000
Springer
15 years 8 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...