5149 search results - page 781 / 1030 » Timed Asynchronous Distributed Systems |
123
Voted
WSC
2007
15 years 6 months ago
2007
In this paper, we compare two scheduling procedures designed to minimize setup costs for a make-to-order electronics manufacturing. While setup costs are important, quick response...
107
Voted
CSCWD
2008
Springer
15 years 5 months ago
2008
Springer
Web Services for CAD (WSC)[8] aims at interoperation with a commercial CAD system based on Web Services. This paper introduces one improvement of WSC which enables remote users to...
151
Voted
DALT
2008
Springer
15 years 5 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
148
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we examine the special requirements of lifecycle management for entities in the context of an entity management system for the semantic web. We study the requirement...
118
Voted
SIROCCO
2010
15 years 5 months ago
2010
This paper studies local-control strategies to estimate the size of a certain event affecting an arbitrary connected subset of nodes in a network. For example, our algorithms allow...