711 search results - page 36 / 143 » formats 2008 |
103
click to vote
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the...
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
104
click to vote
COMCOM
1999
14 years 11 months ago
1999
Certificate policies play a central role in public key infrastructures, since they are the basis for the evaluation of trust in binding between a key and a subject in a public key...
DAGSTUHL
2008
15 years 1 months ago
2008
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...