7530 search results - page 1323 / 1506 » Design and Implementation of the YAWL System |
196
click to vote
JCDL
2005
ACM
16 years 20 days 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 ...
157
click to vote
SAC
2005
ACM
16 years 20 days 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 ...
193
click to vote
SAC
2005
ACM
16 years 20 days 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...
165
click to vote
SMA
2005
ACM
16 years 20 days 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...
178
click to vote
ATVA
2005
Springer
16 years 19 days 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 ...