10038 search results - page 590 / 2008 » Model Checking for Managers |
229
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we present a web-based architecture of a spatiotemporal video data management system, which can accommodate a wide range of activities by various types of users. Be...
182
click to vote
ESA
2006
Springer
15 years 11 months ago
2006
Springer
We consider FIFO buffer management for switches providing differentiated services. In each time step, an arbitrary number of packets arrive, and only one packet can be sent. The bu...
199
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Users increasingly manage their home and work collaborations by exploiting online applications. However, they have to deal with a fragmented view of their workspaces, because ea...
179
click to vote
ECEH
2006
15 years 8 months ago
2006
: As the economic importance of operation room (OR) management is increasing, the aim of this paper is to analyse the information need for business process reengineering (BPR) in O...
239
click to vote
IADT
1998
15 years 8 months ago
1998
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...