Sciweavers

178 search results - page 31 / 36
» Semantic Methods and Tools for Information Portals
Sort
View
66
Voted
LREC
2008
99views Education» more  LREC 2008»
14 years 11 months ago
Standardising Bilingual Lexical Resources According to the Lexicon Markup Framework
The Dutch HLT agency for language and speech technology (known as TST-centrale) at the Institute for Dutch Lexicology is responsible for the maintenance, distribution and accessib...
Isa Maks, Carole Tiberius, Remco van Veenendaal
RE
2010
Springer
14 years 8 months ago
Assessing traceability of software engineering artifacts
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
Senthil Karthikeyan Sundaram, Jane Huffman Hayes, ...
AGTIVE
2007
Springer
15 years 1 months ago
Visualization, Simulation and Analysis of Reconfigurable Systems
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
Claudia Ermel, Karsten Ehrig
FORMATS
2007
Springer
15 years 1 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
CORR
2006
Springer
103views Education» more  CORR 2006»
14 years 9 months ago
Unifying Lexicons in view of a Phonological and Morphological Lexical DB
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
Federico Calzolari, Michele Mammini, Monica Monach...