1689 search results - page 125 / 338 » Refining abstract interpretations |
109
click to vote
ENTCS
2007
15 years 4 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
112
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...
127
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
123
click to vote
AGP
1999
IEEE
15 years 9 months ago
1999
IEEE
Regarding the precision of combined domains including Jacobs and Langen's Sharing there is a core of techniques, such as the standard integration with freeness and linearity ...
133
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...