2135 search results - page 342 / 427 » An Operational Semantics for JavaScript |
134
click to vote
IDTRUST
2010
ACM
15 years 9 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
127
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
118
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
107
click to vote
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
136
click to vote
SEMCO
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...