193 search results - page 19 / 39 » Decidable logics combining heap structures and data |
129
click to vote
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...
150
Voted
IJCAI
2007
15 years 4 months ago
2007
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive quer...
148
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
116
click to vote
AND
2010
15 years 23 days ago
2010
In this paper we will present a set of experiments using large digitalized collections of books to show that logical structures can be extracted with good quality when working at ...
117
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...