6201 search results - page 853 / 1241 » Implementation of Axiomatic Language |
161
click to vote
WOSS
2004
ACM
16 years 9 days ago
2004
ACM
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
159
click to vote
ADAEUROPE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
177
click to vote
CARDIS
2004
Springer
16 years 8 days ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
166
click to vote
CP
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
180
click to vote
CP
2004
Springer
16 years 8 days ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...