860 search results - page 92 / 172 » A Process Algebra Based Verification of a Production System |
CAISE
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
HIPEAC
2009
Springer
14 years 3 months ago
2009
Springer
Process variations, which lead to timing and power variations across identically-designed components, have been identified as one of the key future design challenges by the semico...
RECSYS
2009
ACM
14 years 3 months ago
2009
ACM
Current conversational recommender systems are unable to offer guarantees on the quality of their recommendations due to a lack of principled user utility models. We develop an ap...
CEEMAS
2005
Springer
14 years 2 months ago
2005
Springer
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
IJSWIS
2008
13 years 9 months ago
2008
We propose a novel object discovery framework integrating the application layer of Bluetooth and RFID standards. The approach is motivated and illustrated in an innovative u-comme...