Sciweavers

974 search results - page 82 / 195
» Competition in Service Industries
Sort
View
ACSD
2010
IEEE
222views Hardware» more  ACSD 2010»
15 years 4 months ago
Efficient Model Checking of PSL Safety Properties
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
Tuomas Launiainen, Keijo Heljanko, Tommi A. Juntti...
SMC
2007
IEEE
116views Control Systems» more  SMC 2007»
16 years 18 days ago
Decision-making under severe uncertainty for autonomous mobile robots
— The field of robotics is on a growth curve, with most of the growth expected in the areas of personal and service robots. As robots become more prevalent in chaotic home and in...
Daniel Berleant, Gary T. Anderson
NOMS
2006
IEEE
16 years 10 days ago
Using Open Source to realise an NGOSS Proof of concept
This paper discusses the aims, objectives and early deliverables from the OpenOSS project which has been set up with the sponsorship of a number of Telecommunications Service Prov...
C. R. Gallen, J. S. Reeve
CP
2004
Springer
15 years 11 months ago
A Domain Consistency Algorithm for the Stretch Constraint
The stretch constraint occurs in many rostering problems that arise in the industrial and public service sectors. In this paper we present an efficient algorithm for domain consist...
Lars Hellsten, Gilles Pesant, Peter van Beek
EAGC
2004
Springer
15 years 11 months ago
Overview of an Architecture Enabling Grid Based Application Service Provision
In this short paper we examine the integration of three emerging trends in Information Technology (Utility Computing, Grid Computing, and Web Services) into a new Computing paradig...
Stefan Wesner, Bassem Serhan, Theodosis Dimitrakos...