Sciweavers

2088 search results - page 92 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
ICPR
2010
IEEE
15 years 5 months ago
Symbol Recognition Combining Vectorial and Pixel-Level Features for Line Drawings
—In this paper, we present an approach for symbol representation and recognition in line drawings, integrating both the vector-based structural description and pixel-level statis...
Feng Su, Tong Lu
COLING
2002
14 years 11 months ago
A Complete Integrated NLG System Using AI and NLU Tools
A standard architecture for an NLG system has been defined in (Reiter and Dale, 2000). Their work describes the modularization of an NLG system and the tasks of each module. Howev...
Laurence Danlos, Adil El Ghali
VLDB
2001
ACM
104views Database» more  VLDB 2001»
16 years 2 days ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
SE
2010
15 years 1 months ago
Model-Driven Software Migration
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
Andreas Fuhr, Tassilo Horn, Andreas Winter
ET
2002
85views more  ET 2002»
14 years 11 months ago
Signal Integrity: Fault Modeling and Testing in High-Speed SoCs
As we approach 100nm technology the interconnect issues are becoming one of the main concerns in the testing of gigahertz system-onchips. Voltage distortion (noise) and delay viol...
Mehrdad Nourani, Amir Attarha