202 search results - page 15 / 41 » Managing Controlled Violation of Temporal Process Constraint... |
ICDIM
2007
IEEE
15 years 4 months ago
2007
IEEE
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...
IEAAIE
2010
Springer
14 years 8 months ago
2010
Springer
This paper presents a time bounded real-time agent, the core of a Multi-agent System aimed at managing the security in manufacturing environments, where time constraints are a key ...
65
Voted
CAISE
2008
Springer
15 years 15 days ago
2008
Springer
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of control and data, but facilities for allocating ta...
94
Voted
ECAI
2010
Springer
14 years 8 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
MLMI
2004
Springer
15 years 3 months ago
2004
Springer
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the pr...