Sciweavers

1195 search results - page 43 / 239
» Modeling an Algebraic Stepper
Sort
View
JDWM
2008
120views more  JDWM 2008»
15 years 5 months ago
Algebraic and Graphic Languages for OLAP Manipulations
This article deals with multidimensional analyses. Analyzed data are designed according to a conceptual model as a constellation of facts and dimensions, which are composed of mul...
Franck Ravat, Olivier Teste, Ronan Tournier, Gille...
JLP
2007
81views more  JLP 2007»
15 years 5 months ago
Service oriented computing from a process algebraic perspective
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...
Mario Bravetti, Gianluigi Zavattaro
152
Voted
SSIRI
2010
15 years 4 months ago
Modelling and Implementing Complex Systems with Timebands
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei
IDA
2007
Springer
15 years 11 months ago
Relational Algebra for Ranked Tables with Similarities: Properties and Implementation
The paper presents new developments in an extension of Codd’s relational model of data. The extension consists in equipping domains of attribute values with a similarity relation...
Radim Belohlávek, Stanislav Opichal, Vil&ea...
171
Voted
ICFEM
1998
Springer
15 years 9 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers