4008 search results - page 172 / 802 » An expressive language of signatures |
166
click to vote
CSFW
2008
IEEE
16 years 28 days ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
176
click to vote
DASFAA
2005
IEEE
16 years 2 days ago
2005
IEEE
: Semi-structured data has become more and more attention-getting with the emergence of XML, and it has aroused much enthusiasm for integrating XML and SQL in database community. D...
168
click to vote
CC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
191
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
The paper makes two main contributions: (1) It presents experiences from using the CORAS language for security threat modelling to specify legal risk scenarios. These experiences a...
183
click to vote
ADBIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...