2586 search results - page 191 / 518 » Automatic Abstraction for Congruences |
141
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
166
click to vote
ESWS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...
152
click to vote
EUROCRYPT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we show that the Ate pairing, originally defined for elliptic curves, generalises to hyperelliptic curves and in fact to arbitrary algebraic curves. It has...
169
click to vote
FORMATS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
176
click to vote
ICIC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper describes a novel fuzzy rule-based modeling approach for some slow industrial processses. Structure identification is realized by clustering and support vecto...