Sciweavers

2145 search results - page 342 / 429
» Architectural Specifications in CASL
Sort
View
137
Voted
FOAL
2008
ACM
15 years 6 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
ISLPED
2007
ACM
96views Hardware» more  ISLPED 2007»
15 years 6 months ago
Low-power process-variation tolerant arithmetic units using input-based elastic clocking
In this paper we propose a design methodology for low-power, high-performance, process-variation tolerant architecture for arithmetic units. The novelty of our approach lies in th...
Debabrata Mohapatra, Georgios Karakonstantis, Kaus...
LREC
2010
125views Education» more  LREC 2010»
15 years 6 months ago
Ontology-based Interoperation of Linguistic Tools for an Improved Lemma Annotation in Spanish
In this paper, we present an ontology-based methodology and architecture for the comparison, assessment, combination (and, to some extent, also contrastive evaluation) of the resu...
Antonio Pareja-Lora, Guadalupe Aguado de Cea
159
Voted
LREC
2010
216views Education» more  LREC 2010»
15 years 6 months ago
Efficient Spoken Dialogue Domain Representation and Interpretation
We provide a detailed look on the functioning of the OwlSpeak Spoken Dialogue Manager, which is part of the EU-funded project ATRACO. OwlSpeak interprets Spoken Dialogue Ontologie...
Tobias Heinroth, Dan Denich, Alexander Schmitt, Wo...
LREC
2010
133views Education» more  LREC 2010»
15 years 6 months ago
Term and Collocation Extraction by Means of Complex Linguistic Web Services
We present a web service-based environment for the use of linguistic resources and tools to address issues of terminology and language varieties. We discuss the architecture, corp...
Ulrich Heid, Fabienne Fritzinger, Erhard W. Hinric...