1175 search results - page 126 / 235 » Abstract computability and algebraic specification |
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Inļ¬nite contexts and their corresponding lattices are of theoretical and practical interest since they may oļ¬er connections with and insights from other mathematical ...
SCN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Span programs provide a linear algebraic model of computation. Monotone span programs (MSP) correspond to linear secret sharing schemes. This paper studies the properties...