Sciweavers

2373 search results - page 66 / 475
» The Design of the Zinc Modelling Language
Sort
View
ENTCS
2010
84views more  ENTCS 2010»
15 years 1 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
CAISE
2005
Springer
15 years 7 months ago
The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
Joerg Evermann
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
15 years 7 months ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
122
Voted
OTM
2009
Springer
15 years 8 months ago
The Constellation Query Language
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
Clifford Heath
SSDBM
1998
IEEE
113views Database» more  SSDBM 1998»
15 years 5 months ago
From a Procedural to a Visual Query Language for OLAP
We address the issue of designing effective query languages for OLAP databases. The basis of our investigation is MD, a new data model for multidimensional databases that, unlike ...
Luca Cabibbo, Riccardo Torlone