Sciweavers

3827 search results - page 566 / 766
» The Epsilon Generation Language
Sort
View
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
14 years 4 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
MIRAGE
2007
Springer
14 years 4 months ago
Copying Behaviour of Expressive Motion
Abstract. In this paper we present an agent that can analyse certain human fullbody movements in order to respond in an expressive manner with copying behaviour. Our work focuses o...
Maurizio Mancini, Ginevra Castellano, Elisabetta B...
MODELS
2007
Springer
14 years 4 months ago
Model-Driven Engineering for Software Migration in a Large Industrial Context
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
Franck Fleurey, Erwan Breton, Benoit Baudry, Alain...
NLDB
2007
Springer
14 years 4 months ago
A Lightweight Approach to Semantic Annotation of Research Papers
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, Joh...
WIA
2007
Springer
14 years 4 months ago
Analyzing Ambiguity of Context-Free Grammars
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and p...
Claus Brabrand, Robert Giegerich, Anders Mø...