709 search results - page 119 / 142 » An Equational Theory for Transactions |
180
click to vote
ESORICS
2007
Springer
16 years 16 days 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...
180
click to vote
GECCO
2007
Springer
16 years 16 days 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...
194
click to vote
ROBOCUP
2007
Springer
16 years 15 days 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...
183
click to vote
TLCA
2007
Springer
16 years 14 days 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...
161
click to vote
HICSS
2006
IEEE
16 years 13 days 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 ...