1032 search results - page 185 / 207 » Extended Computation Tree Logic |
68
Voted
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
WISE
2002
Springer
15 years 2 months ago
2002
Springer
There is an increasing need for various web-service, e-commerce and e-business sites to provide personalized recommendations to on-line customers. This paper proposes a new type o...
UML
2001
Springer
15 years 2 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
FOSSACS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...