10038 search results - page 1838 / 2008 » Model Checking for Managers |
138
click to vote
COMPGEOM
2008
ACM
15 years 6 months ago
2008
ACM
This video illustrates an algorithm for computing a maximum number of disjoint paths for unit disks moving among a set of dynamic obstacles in the plane. The problem is motivated ...
164
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
162
click to vote
DAWAK
2008
Springer
15 years 6 months ago
2008
Springer
Sequential pattern mining is an active field in the domain of knowledge discovery and has been widely studied for over a decade by data mining researchers. More and more, with the ...
189
click to vote
DCOSS
2008
Springer
15 years 6 months ago
2008
Springer
We consider a mobile sensor network monitoring a spatio-temporal field. Given limited caches at the sensor nodes, the goal is to develop a distributed cache management algorithm to...
130
click to vote
ELPUB
2008
ACM
15 years 6 months ago
2008
ACM
This paper describes three important pillars of publishing programs emerging at university libraries: providing a robust publishing platform, engaging the academic community in di...