2106 search results - page 381 / 422 » Operational Semantics for DyLPs |
164
click to vote
POPL
2010
ACM
16 years 12 days 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...
148
click to vote
AOSD
2009
ACM
16 years 10 days 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...
147
click to vote
ICC
2009
IEEE
16 years 8 days 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...
197
click to vote
SEMCO
2009
IEEE
16 years 8 days 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...
159
click to vote
TPHOL
2009
IEEE
16 years 5 days ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...