3081 search results - page 453 / 617 » A Formal Ontology of Properties |
157
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
156
click to vote
TIME
2000
IEEE
15 years 11 months ago
2000
IEEE
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
151
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
191
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents a secure and flexible Mix-net that has the following properties; it efficiently handles long plaintexts that exceed the modulus size of underlying public-key e...
149
click to vote
CCA
2000
Springer
15 years 11 months ago
2000
Springer
Computing the spectral decomposition of a normal matrix is among the most frequent tasks to numerical mathematics. A vast range of methods are employed to do so, but all of them su...