Sciweavers

4255 search results - page 124 / 851
» Database: Models, Languages, Design
Sort
View
APLAS
2004
ACM
15 years 8 months ago
An Algebraic Approach to Bi-directional Updating
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
PODS
2002
ACM
136views Database» more  PODS 2002»
16 years 3 months ago
Models and Issues in Data Stream Systems
In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations...
Brian Babcock, Shivnath Babu, Mayur Datar, Rajeev ...
SEMCO
2009
IEEE
15 years 9 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
EUROMICRO
1999
IEEE
15 years 7 months ago
Validation of Object Oriented Models using Animation
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
Ian Oliver, Stuart Kent
KES
2008
Springer
15 years 3 months ago
A User Interface for the User-Centred Knowledge Model, t-UCK
This paper presents a user interface to the User-Centred Knowledge Model (t-UCK). T-UCK is a knowledge modelling tool for designing knowledge-intensive systems. The model centres r...
Anne Håkansson