1210 search results - page 82 / 242 » Formal Techniques for Java Programs |
154
Voted
TDSC
2008
15 years 2 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
210
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
118
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
142
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...
122
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...