1156 search results - page 31 / 232 » Compositional Methods for Information-Hiding |
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
FSTTCS
1997
Springer
13 years 11 months ago
1997
Springer
We illustrate in this paper a compositional and stepwise method for designing programs that o er a potentially unique tolerance to each of their fault-classes. More speci cally, o...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
In the Weighted Finite State Transducer (WFST) framework for speech recognition, we can reduce memory usage and increase flexibility by using on-the-fly composition which genera...
ICCL
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...