Sciweavers

602 search results - page 24 / 121
» A Least-Squares Framework for Component Analysis
Sort
View
IANDC
2008
120views more  IANDC 2008»
13 years 7 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
WSC
2007
13 years 10 months ago
Composability and component-based discrete event simulation
This work presents a framework and a Graphical User Interface, Viskit, for the creation and analysis of component-based Discrete Event Simulation models. Two primary elements of t...
Arnold H. Buss, Curtis L. Blais
ICPP
2005
IEEE
14 years 1 months ago
Design and Implementation of a Parallel Performance Data Management Framework
Empirical performance evaluation of parallel systems and applications can generate significant amounts of performance data and analysis results from multiple experiments as perfo...
Kevin A. Huck, Allen D. Malony, Robert Bell, Alan ...
APSEC
2000
IEEE
13 years 12 months ago
Component-based software engineering: technologies, development frameworks, and quality assurance schemes
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko
ICDAR
2009
IEEE
13 years 5 months ago
A Unified Framework for Recognizing Handwritten Chemical Expressions
Chemical expressions have more variant structures in 2-D space than that in math equations. In this paper we propose a unified framework for recognizing handwritten chemical expre...
Ming Chang, Shi Han, Dongmei Zhang