3229 search results - page 295 / 646 » Theories with the Independence Property |
171
click to vote
SEKE
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...
167
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...
178
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
169
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We present a robust multiparty computation protocol. The protocol is for the cryptographic model with open channels and a polytime adversary, and allows n parties to actively secur...
218
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...