10038 search results - page 1506 / 2008 » Model Checking for Managers |
208
click to vote
IC
2001
15 years 8 months ago
2001
In this paper, we describe the design and implementation of an XML-Based Digital Video Library (XDVL) System. The system includes automatic processes from video creation through v...
165
click to vote
GEOINFO
2003
15 years 8 months ago
2003
This paper describes the implementation of a workflow management system to support mobile GIS workgroup applications and highlights the design of the workflow definition language t...
199
click to vote
NETWORKING
2000
15 years 8 months ago
2000
This paper presents an end-to-end reliable multicast protocol for use in environments with wireless access. It divides a multicast tree into sub-trees where subcasting within these...
190
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
170
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— We discuss the problem of resource provisioning for database management systems operating on top of an Infrastructure-As-A-Service (IaaS) cloud. To solve this problem, we descr...