5200 search results - page 937 / 1040 » Symbolic models for control systems |
148
click to vote
BPM
2006
Springer
15 years 9 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...
132
click to vote
ACSAC
2001
IEEE
15 years 9 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...
182
click to vote
ECAI
2000
Springer
15 years 9 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 ...
215
click to vote
ABIALS
2008
Springer
15 years 7 months 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 ...
141
click to vote
LREC
2010
15 years 7 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...