Sciweavers

4377 search results - page 568 / 876
» Application Driven Software Development
Sort
View
LWA
2007
15 years 8 months ago
A Domain Independent System Architecture for Sharing Experience
We propose SEASALT, an architecture based on the CoMES approach on developing collaborative multi-expert-systems using case-based reasoning and software agents technology. SEASALT...
Kerstin Bach, Meike Reichle, Klaus-Dieter Althoff
FMOODS
2006
15 years 8 months ago
Defining Object-Oriented Execution Semantics Using Graph Transformations
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
FGCS
2006
122views more  FGCS 2006»
15 years 6 months ago
Conceptual interfaces in hypre
The hypre software library is being developed with the aim of providing scalable solvers for the solution of large, sparse linear systems on massively parallel computers. To this e...
Robert D. Falgout, Jim E. Jones, Ulrike Meier Yang
NA
2010
117views more  NA 2010»
15 years 5 months ago
A fast solver for linear systems with displacement structure
We describe a fast solver for linear systems with reconstructible Cauchylike structure, which requires O(rn2 ) floating point operations and O(rn) memory locations, where n is th...
Antonio Arico, Giuseppe Rodriguez
ICFEM
2009
Springer
15 years 4 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...