Sciweavers

678 search results - page 110 / 136
» Extended Traits for Model Driven Software Development
Sort
View
104
Voted
MIDDLEWARE
2001
Springer
15 years 4 months ago
An Efficient Component Model for the Construction of Adaptive Middleware
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...
Michael Clarke, Gordon S. Blair, Geoff Coulson, Ni...
99
Voted
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 14 days ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
EDBT
2008
ACM
178views Database» more  EDBT 2008»
16 years 17 days ago
An inductive database and query language in the relational model
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
Lothar Richter, Jörg Wicker, Kristina Kessler...
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
15 years 7 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
103
Voted
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 4 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu