138 search results - page 8 / 28 » Hybrid argumentation and its properties |
ENTCS
2007
13 years 9 months ago
2007
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
ASIACRYPT
2000
Springer
14 years 1 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...
ICFP
1999
ACM
14 years 1 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
AI
2004
Springer
13 years 9 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
AGTIVE
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...