Sciweavers

3507 search results - page 398 / 702
» Slicing for architectural analysis
Sort
View
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
16 years 1 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
191
Voted
DOCENG
2004
ACM
16 years 27 days ago
Logic-based XPath optimization
XPath [16] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in...
Pierre Genevès, Jean-Yves Vion-Dury
CAISE
2004
Springer
16 years 26 days ago
Design and Implementation of the YAWL System
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
Wil M. P. van der Aalst, Lachlan Aldred, Marlon Du...
ICDAR
2003
IEEE
16 years 23 days ago
A Novel Feature Extraction Technique for the Recognition of Segmented Handwritten Characters
High accuracy character recognition techniques can provide useful information for segmentation-based handwritten word recognition systems. This research describes neural network-b...
Michael Blumenstein, Brijesh Verma, H. Basli
ICDAR
2003
IEEE
16 years 23 days ago
Radon Transform for Lineal Symbol Representation
Content-based retrieval and recognition of graphic images requires good models for symbol representation, able to identify those features providing the most relevant information a...
Oriol Ramos Terrades, Ernest Valveny