7124 search results - page 858 / 1425 » Programming Languages and Operating Systems |
202
Voted
FGCS
2000
15 years 6 months ago
2000
With reference to an object type defining the two basic operations, read and write, we present solutions to the object sharing problem, classified according to the migration and/o...
212
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
138
click to vote
CICLING
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Polarities are used to sanction grammar fragment combination in high level tree-based formalisms such as eXtenssible MetaGrammar (XMG) and polarized unification grammars...
194
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
171
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...