5216 search results - page 1029 / 1044 » Planning as Model Checking |
JCDL
2004
ACM
15 years 3 months ago
2004
ACM
We present a new approach to displaying and browsing a digital library collection, a set of Greek vases in the Perseus digital library. Our design takes advantage of three-dimensi...
NORDICHI
2004
ACM
15 years 3 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
EDBTW
2004
Springer
15 years 3 months ago
2004
Springer
Many users and applications require the integration of semi-structured data from autonomous, heterogeneous Web sources. Over the last years mediator systems have emerged that use d...
77
Voted
CISIS
2010
IEEE
15 years 3 months ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
—Existing research demonstrated that an effective Routing and Wavelength Assignment (RWA) scheme and a wavelength converter placement algorithm are the two primary vehicles for i...