Sciweavers

598 search results - page 10 / 120
» Separation of Concerns and Consistent Integration in Require...
Sort
View
CGF
1999
70views more  CGF 1999»
13 years 7 months ago
Modelling and Rendering Graphics Scenes Composed of Multiple Volumetric Datasets
This paper presents a method for modelling graphics scenes consisting of multiple volumetric objects. A twolevel hierarchical representation is employed, which enables the reducti...
Adrian Leu, Min Chen
ICSE
1998
IEEE-ACM
13 years 12 months ago
Consistency Management for Complex Applications
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
Peri L. Tarr, Lori A. Clarke
ICONS
2009
IEEE
14 years 2 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet
ENTCS
2008
70views more  ENTCS 2008»
13 years 7 months ago
Separate Compilation of Polychronous Specifications
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard,...
CCGRID
2005
IEEE
14 years 1 months ago
View-oriented update protocol with integrated diff for view-based consistency
This paper proposes a View-Oriented Update Protocol with Integrated Diff for efficient implementation of a View-based Consistency model which supports a novel View-Oriented Paral...
Zhiyi Huang, Martin K. Purvis, Paul Werstein