Sciweavers

967 search results - page 102 / 194
» Automated benchmarking and analysis tool
Sort
View
NAR
2007
84views more  NAR 2007»
15 years 3 months ago
The Multi-Q web server for multiplexed protein quantitation
Multi-Q Web Server provides an automated data analysis tool for multiplexed protein quantitation based on the iTRAQ labeling method. Multi-Q is designed as a generic platform that...
Chuan-Yih Yu, Yin-Hao Tsui, Yi-Hwa Yian, Ting-Yi S...
CADE
2004
Springer
16 years 4 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
SOFSEM
2009
Springer
16 years 18 days ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
116
Voted
ICCBR
1999
Springer
15 years 8 months ago
Integrating Information Resources: A Case Study of Engineering Design Support
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
David B. Leake, Lawrence Birnbaum, Kristian J. Ham...
137
Voted
MASCOTS
2008
15 years 5 months ago
Evaluating the Effectiveness of Information Extraction in Real-World Storage Management
As storage deployments within enterprises continue to grow, there is an increasing need to simplify and automate. Existing tools for automation rely on extracting information in t...
Aameek Singh, Sandeep Uttamchandani, Yin Wang