188 search results - page 22 / 38 » A Formal Implementation of Value Commitment |
APN
2006
Springer
13 years 11 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
SPAA
2006
ACM
14 years 1 months ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
IFL
2003
Springer
14 years 21 days ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
KES
2009
Springer
14 years 2 days ago
2009
Springer
: With the increase in the amount and complexity of information, data warehouse performance has become a constant issue, especially for decision support systems. As decisional expe...