Sciweavers

518 search results - page 67 / 104
» Specification, Implementation, and Validation of Object-Orie...
Sort
View
ROOM
2000
14 years 11 months ago
Statecharts as Protocols for Objects
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
Annette Laue, Matthias Liedtke, Daniel Moldt, Ivan...
MC
2001
140views Computer Science» more  MC 2001»
14 years 11 months ago
Cooperative model production in systems design to support knowledge management
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
Christoph Clases
EDBT
2008
ACM
173views Database» more  EDBT 2008»
15 years 9 months ago
SeMap: a generic mapping construction system
Most previous schema mapping works focus on creating mappings in specific data models for data transformation, failing to capture a richer set of possible relationships between sc...
Ting Wang, Rachel Pottinger
MTDT
1999
IEEE
68views Hardware» more  MTDT 1999»
15 years 2 months ago
Unbalanced Cache Systems
The new concept of an unbalanced, hierarchicallydivided cache memory system is introduced and analyzed. This approach generalizes existing cache structures by allowing different m...
David L. Rhodes, Wayne Wolf
TPHOL
1998
IEEE
15 years 1 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...