Sciweavers

5423 search results - page 126 / 1085
» Denial-of-service in automation systems
Sort
View
CBMS
2009
IEEE
16 years 1 months ago
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
Alejandro Rodríguez González, Jos&ea...
EXTREME
2004
ACM
15 years 12 months ago
Automated Quality Assurance for Heuristic-Based XML Creation Systems
Large volumes of XML document instances are created by conversion systems that rely on heuristic-based tagging. Quality assurance is typically conducted on individual document ins...
Bruce Rosenblum, Irina Golfman
LPAR
2005
Springer
15 years 12 months ago
Towards Automated Proof Support for Probabilistic Distributed Systems
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
Annabelle McIver, Tjark Weber
ICRA
2002
IEEE
118views Robotics» more  ICRA 2002»
15 years 11 months ago
An Automated Tether Management System for Microgravity Extravehicular Activities
An automated tether system has been developed for the purpose of improving the efficiency of micro-gravity activities of fully suited astronauts. System features include gripping ...
Mark A. Minor, Christopher R. Hirschi, Robert O. A...
WISE
2008
Springer
16 years 25 days ago
A Web-Based Automated System for Industry and Occupation Coding
This paper describes Automated Industry and Occupation Coding System (AIOCS). The main function of the system is to classify natural language responses to survey questionnaires int...
Yuchul Jung, Jihee Yoo, Sung-Hyon Myaeng, Dong-Che...