1005 search results - page 124 / 201 » A Language for Manipulating Arrays |
227
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
278
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
134
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...
137
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
XQBE (XQuery By Example, [1]), a visual dialect of XQuery, uses hierarchical structures to express transformations between XML documents. XSLT, the standard transformation languag...
113
click to vote
ICISS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Trust can be used to measure our confidence that a secure system behaves as expected. We had previously proposed a vector model of trust [1]. In this work we address the...