Sciweavers

4359 search results - page 447 / 872
» Automated Pipeline Design
Sort
View
CADE
2004
Springer
16 years 7 months ago
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
Graham Steel, Alan Bundy, Monika Maidl
SEMWEB
2007
Springer
16 years 1 months ago
SMART: A Web-Based, Ontology-Driven, Semantic Web Query Answering Application
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
Alexander De Leon Battista, Natalia Villanueva-Ros...
ISSRE
2003
IEEE
16 years 4 days ago
Test-Driven Development as a Defect-Reduction Practice
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
Laurie A. Williams, E. Michael Maximilien, Mladen ...
DSOM
2003
Springer
16 years 3 days ago
Policy-Based Autonomic Storage Allocation
The goal of autonomic storage allocation is to achieve allocation of storage resources, their performance monitoring, and hotspot elimination by specifying comparatively high-leve...
Murthy V. Devarakonda, David M. Chess, Ian Whalley...
ICRA
1994
IEEE
99views Robotics» more  ICRA 1994»
15 years 11 months ago
Accurate Alignment of Laminate Materials Using Sensor-Based Robot Techniques
Assembly accuracies of 0.05-0.1 mm, needed for electronic product manufacture, are attainable with current automated manufacturing equipment. Aggressive electronic system designs ...
Andrew E. Brennemann, Robert Hammer, Ralph L. Holl...