BIRTHDAY
1999
Springer
14 years 1 months ago
1999
Springer
We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more...
BIRTHDAY
1999
Springer
14 years 1 months ago
1999
Springer
We define simple-regular expressions and languages. Simple-regular languages provide a necessary condition for a language to be outfix-free. We design algorithms that compute si...
BIRTHDAY
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
BIRTHDAY
1999
Springer
14 years 1 months ago
1999
Springer
SAC
1999
ACM
14 years 1 months ago
1999
ACM
In this paper, we consider the evolution of hypermedia system architectures from the monolithic systems of the 1980’s to the middleware-oriented component-based open systems of ...
SAC
1999
ACM
14 years 1 months ago
1999
ACM
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
SAC
1999
ACM
14 years 1 months ago
1999
ACM
SAC
1999
ACM
14 years 1 months ago
1999
ACM
SAC
1999
ACM
14 years 1 months ago
1999
ACM
SAC
1999
ACM
14 years 1 months ago
1999
ACM
