709 search results - page 119 / 142 » An Equational Theory for Transactions |
109
click to vote
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
This paper proposes a novel application of differential evolution to solve a difficult dynamic optimisation or optimal control problem. The miss distance in a missile-target engag...
112
click to vote
ROBOCUP
2007
Springer
15 years 5 months ago
2007
Springer
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...