1054 search results - page 140 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
119
click to vote
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
We have developed a system for interactive manipulation of shading parameters for three dimensional rendering. The system takes as input user-defined shaders, written in a subset ...
124
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
136
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
127
click to vote
ECHT
1992
15 years 8 months ago
1992
In this paper, we report about the design, development, and implementation of the SEPIA cooperative hypermedia authoring environment. It provides results on the following aspects ...
151
click to vote
SRDS
2008
IEEE
15 years 10 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...