2139 search results - page 291 / 428 » Connecting language to the world |
213
Voted
DASFAA
2005
IEEE
16 years 22 days ago
2005
IEEE
Abstract. With the ever increasing connection between XML information systems over the Web, users are able to obtain integrated sources of XML information in a cooperative manner, ...
206
click to vote
CALCO
2005
Springer
16 years 19 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
201
click to vote
FOSSACS
2005
Springer
16 years 19 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
181
Voted
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
184
Voted
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
In the Euclidean group Traveling Salesman Problem (TSP), we are given a set of points P in the plane and a set of m connected regions, each containing at least one point of P. We w...