Sciweavers

1750 search results - page 150 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
16 years 22 days ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...
MEMOCODE
2010
IEEE
15 years 4 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
UML
2004
Springer
15 years 11 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
ER
2003
Springer
112views Database» more  ER 2003»
15 years 11 months ago
Entity Types Derived by Symbol-Generating Rules
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
Jordi Cabot, Antoni Olivé, Ernest Teniente
ECOOP
2005
Springer
15 years 11 months ago
Chai: Traits for Java-Like Languages
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
Charles Smith, Sophia Drossopoulou