Sciweavers

5668 search results - page 748 / 1134
» The case for software evolution
Sort
View
WIA
2004
Springer
16 years 5 days ago
A General Weighted Grammar Library
We present a general weighted grammar software library, the GRM Library, that can be used in a variety of applications in text, speech, and biosequence processing. The underlying a...
Cyril Allauzen, Mehryar Mohri, Brian Roark
IRI
2003
IEEE
16 years 3 days ago
An Architectural Pattern For Adaptable Middleware Infrastructure
- Middleware technologies change so rapidly that designers must adapt existing software architectures to incorporate new emerging ones. This paper proposes tectural pattern and gui...
Arturo Sanchez, Jason Mitchell
178
Voted
SWSTE
2003
IEEE
16 years 3 days ago
Towards a Standard Family of Languages for Matching Patterns in Source Code
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
Uri Dekel, Tal Cohen, Sara Porat
EMSOFT
2003
Springer
16 years 1 days ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
FSTTCS
2003
Springer
16 years 1 days ago
Word Equations over Graph Products
For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore...
Volker Diekert, Markus Lohrey