5639 search results - page 399 / 1128 » Timed Abstract Non-interference |
246
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
137
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A new algorithm is presented for finding genotype-phenotype association rules from data related to complex diseases. The algorithm was based on Genetic Algorithms, a tech...
130
click to vote
NETCOOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Modeling the competition among telecommunication operators (or providers) as a repeated game may explain why tacit collusion to maintain high charging prices can be obser...
102
click to vote
ARCS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper describes a job distribution system which focuses on standard desktop worker nodes in inhomogeneous and unreliable environments. The system is suited for gener...
115
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...