1737 search results - page 144 / 348 » On Interpolation in Existence Logics |
157
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
— This paper investigates the path protection problem in mesh networks under multiple generic risks. Disjoint logical links may fail simultaneously if they share the same compone...
158
click to vote
CSL
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
180
click to vote
ICSOC
2007
Springer
16 years 16 days ago
2007
Springer
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...
160
click to vote
PPDP
2007
Springer
16 years 15 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
182
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...