5200 search results - page 937 / 1040 » Symbolic models for control systems |
BPM
2006
Springer
14 years 1 months ago
2006
Springer
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...
ACSAC
2001
IEEE
14 years 1 months ago
2001
IEEE
The distributed firewall is an important new line of network defense. It provides fine-grained access control to augment the protections afforded by the traditional perimeter fire...
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...
ABIALS
2008
Springer
14 years 2 days ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
LREC
2010
13 years 11 months ago
2010
This paper describes the first TTS evaluation campaign designed for Spanish. Seven research institutions took part in the evaluation campaign and developed a voice from a common s...