Sciweavers

9455 search results - page 332 / 1891
» The Modelling Language Zinc
Sort
View
ANSS
2000
IEEE
15 years 11 months ago
Specifying Truck Movement in Traffic Models Using Cell-DEVS
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modele...
Alejandra Davidson, Gabriel A. Wainer
ECMDAFA
2006
Springer
137views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
A Canonical Scheme for Model Composition
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...
Jean Bézivin, Salim Bouzitouna, Marcos Dido...
PLDI
1997
ACM
15 years 11 months ago
Incremental Analysis of real Programming Languages
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
Tim A. Wagner, Susan L. Graham
ISMB
2000
15 years 8 months ago
An Evaluation of Ontology Exchange Languages for Bioinformatics
Ontologies are specifications of the concepts in a given field, and of the relationships among those concepts. The development of ontologies for molecular-biology information and ...
Robin McEntire, Peter D. Karp, Neil F. Abernethy, ...
IR
2007
15 years 6 months ago
Searching strategies for the Bulgarian language
This paper reports on the underlying IR problems encountered when indexing and searching with the Bulgarian language. For this language we propose a general light stemmer and demon...
Jacques Savoy