7527 search results - page 1164 / 1506 » Design and implementation of the KioskNet system |
205
click to vote
JCDL
2005
ACM
16 years 1 months ago
2005
ACM
As an increasing number of digital library projects embrace the harvesting of item-level descriptive metadata, issues of description granularity and concerns about potential loss ...
162
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
203
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
177
click to vote
SMA
2005
ACM
16 years 1 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
190
click to vote
ATVA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...