3634 search results - page 488 / 727 » The Field Representation Language |
275
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
159
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
245
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
128
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective f...
160
click to vote
COSIT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...