2776 search results - page 379 / 556 » System-Level Abstraction Semantics |
203
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
151
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
181
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
182
click to vote
INDOCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
189
click to vote
INTELLCOMM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we propose the usage of W3C-standardized query language, XQuery, to accommodate XML Update. Our main aim is to enable the update without violating the seman...