2036 search results - page 152 / 408 » A generic type-and-effect system |
124
Voted
ANTSW
2010
Springer
14 years 10 months ago
2010
Springer
Division of labour in multi-robot systems or multi-robot task allocation (MRTA) is a challenging research issue. We propose to solve this MRTA problem using a set of previously pub...
93
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...
209
click to vote
ICDE
2001
IEEE
16 years 2 months ago
2001
IEEE
High availability for both data and applications is rapidly becoming a business requirement. While database systems support recovery, providing high database availability, applica...
95
Voted
STOC
2001
ACM
16 years 1 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
103
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...