Sciweavers

5423 search results - page 187 / 1085
» Denial-of-service in automation systems
Sort
View
EDOC
2002
IEEE
15 years 11 months ago
Web Service Interfaces for Inter-Organisational Business Processes: An Infrastructure for Automated Reconciliation
For the majority of front-end e-business systems, the assumption of a coherent and homogeneous set of interfaces is highly unrealistic. Problems start in the back-end, with system...
Giacomo Piccinelli, Wolfgang Emmerich, Christian Z...
ICRA
1999
IEEE
113views Robotics» more  ICRA 1999»
15 years 11 months ago
Automated Planning and Scheduling for Planetary Rover Distributed Operations
Automated planning and scheduling, including automated path planning, has been integrated with an Internet-based distributed operations system for planetary rover operations. The ...
Paul G. Backes, Gregg Rabideau, Kam S. Tso, Steve ...
CADE
2009
Springer
16 years 7 months ago
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
Chad E. Brown, Christoph Benzmüller, Frank Th...
DAC
2007
ACM
16 years 7 months ago
Multi-Core Design Automation Challenges
The trend to multi-core chip designs presents new challenges for design automation, while the increased reuse of components may offer solutions. This paper describes some of the k...
John A. Darringer
EDOC
2007
IEEE
16 years 28 days ago
An Analysis Framework for Mobile Workforce Automation
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
Volker Gruhn, André Köhler