4008 search results - page 150 / 802 » An expressive language of signatures |
160
click to vote
DNIS
2005
Springer
15 years 12 months ago
2005
Springer
Access control is the process of mediating every request to data and services maintained by a system and determining whether the request should be granted or denied. Expressiveness...
155
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
145
click to vote
SSDBM
1998
IEEE
15 years 10 months ago
1998
IEEE
A relation is an unordered collection of records. Often, however, there is an underlying order (e.g., a sequence of stock prices), and users want to pose queries that reflect this...
152
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
156
click to vote
SYRCODIS
2008
15 years 7 months ago
2008
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...