147 search results - page 30 / 30 » Combining Control and Data Abstraction in the Verification o... |
CIKM
2011
Springer
12 years 5 months ago
2011
Springer
The field of information retrieval has witnessed over 50 years of research on retrieval methods for metadata descriptions and controlled indexing languages, the prototypical exam...
HICSS
2010
IEEE
14 years 4 days ago
2010
IEEE
in Progress – Extended Abstract Word count: 3124 Effectively managing IT service centers such as call centers, computerized diagnostic imaging facilities, data centers, e-commerc...