Sciweavers

1804 search results - page 305 / 361
» Use Cases in Model-Driven Software Engineering
Sort
View
163
Voted
FOSSACS
2004
Springer
15 years 8 months ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
132
Voted
FSTTCS
2004
Springer
15 years 8 months ago
Genome Halving Problem Revisited
The Genome Halving Problem is motivated by the whole genome duplication events in molecular evolution that double the gene content of a genome and result in a perfect duplicated ge...
Max A. Alekseyev, Pavel A. Pevzner
228
Voted
PARA
2004
Springer
15 years 8 months ago
Extending PSBLAS to Build Parallel Schwarz Preconditioners
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...
Alfredo Buttari, Pasqua D'Ambra, Daniela di Serafi...
CAEPIA
2003
Springer
15 years 8 months ago
A Framework for Ontology Reuse and Persistence Integrating UML and Sesame
Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the mai...
Carlos Pedrinaci, Amaia Bernaras, Tim Smithers, Je...
CASCON
2010
166views Education» more  CASCON 2010»
15 years 1 months ago
Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
Chunyang Ye, Hans-Arno Jacobsen