5639 search results - page 494 / 1128 » Timed Abstract Non-interference |
147
click to vote
ADMI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this work, we describe the process used in order to predict the bidding strategy of trading agents. This was done in the context of the Reverse TAC, or CAT, game of th...
135
click to vote
ALDT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose various models for lobbying in a probabilistic environment, in which an actor (called “The Lobby”) seeks to influence the voters’ preferences of voting ...
125
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this work we introduce a new generalization of the ResourceConstrained Project Scheduling Problem – the Mobile Workforce Scheduling Problem with Multitask-Processes ...
235
click to vote
WIA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. State elimination is an intuitive and easy-to-implement algorithm that computes a regular expression from a finite-state automaton (FA). The size of a regular expression...
141
click to vote
CSR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In 1992, A. Hiltgen [1] provided the first constructions of provably (slightly) secure cryptographic primitives, namely feebly one-way functions. These functions are pro...