Sciweavers

290 search results - page 48 / 58
» entcs 2006
Sort
View
ENTCS
2006
123views more  ENTCS 2006»
14 years 10 months ago
Wrapping of Web Sources with restricted Query Interfaces by Query Tunneling
Information sources in the World Wide Web usually offer two different schemes to their users, an Interface Schema which the user can query and a Result Schema which the user can b...
Thomas Kabisch, Mattis Neiling
ENTCS
2006
142views more  ENTCS 2006»
14 years 10 months ago
Predicate Diagrams for the Verification of Real-Time Systems
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
Eun-Young Kang, Stephan Merz
ENTCS
2006
124views more  ENTCS 2006»
14 years 10 months ago
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
Shuvendu K. Lahiri, Madanlal Musuvathi
ENTCS
2006
135views more  ENTCS 2006»
14 years 10 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
ENTCS
2006
144views more  ENTCS 2006»
14 years 10 months ago
Infinitary Howe's Method
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
Paul Blain Levy