2106 search results - page 363 / 422 » Operational Semantics for DyLPs |
140
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
166
click to vote
IWMM
2009
Springer
16 years 22 days ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
165
click to vote
MODELS
2009
Springer
16 years 22 days ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
166
click to vote
PPDP
2009
Springer
16 years 22 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
168
click to vote
ACSC
2008
IEEE
16 years 20 days ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...