Sciweavers

1669 search results - page 159 / 334
» Structured Specification of Model Interpreters
Sort
View
ROOM
2000
15 years 5 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
APSEC
1998
IEEE
15 years 8 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...
ESANN
2001
15 years 5 months ago
Some known facts about financial data
: Many researchers are interesting in applying the neural networks methods to financial data. In fact these data are very complex, and classical methods do not always give satisfac...
Eric de Bodt, Joseph Rynkiewicz, Marie Cottrell
ECTEL
2006
Springer
15 years 7 months ago
Multimedia Authoring for CoPs
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
Romain Deltour, Agnès Guerraz, Cécil...
MOC
2002
93views more  MOC 2002»
15 years 3 months ago
Conjugate gradient method for dual-dual mixed formulations
We deal with the iterative solution of linear systems arising from so-called dual-dual mixed finite element formulations. The linear systems are of a two-fold saddle point structur...
Gabriel N. Gatica, Norbert Heuer