Sciweavers

236 search results - page 24 / 48
» Product action
Sort
View
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
14 years 2 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
WECWIS
2002
IEEE
131views ECommerce» more  WECWIS 2002»
14 years 1 months ago
Mining Client-Side Activity for Personalization
“Garbage in. garbage out” is a well-known phrase in computer analysis, and one that comes to mind when mining Web data to draw conclusions about Web users. The challenge is th...
Kurt D. Fenstermacher, Mark Ginsburg
ATAL
2008
Springer
13 years 10 months ago
Coordination of AGVs in an industrial environment
This demonstration aims to show the decentralized coordination of the navigation system of highly autonomous Automated Guided Vehicles (AGVs) integrated in a real industrial envir...
David Herrero Pérez, Humberto Martín...
IFIP12
2007
13 years 10 months ago
A Multi-Agent Design for a Home Automation System dedicated to power management
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
Shadi Abras, Stéphane Ploix, Sylvie Pesty, ...
FLAIRS
2000
13 years 10 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...