1129 search results - page 156 / 226 » Modular Ranking Abstraction |
203
click to vote
IROS
2007
IEEE
16 years 16 days ago
2007
IEEE
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
178
click to vote
ECOWS
2007
Springer
16 years 15 days ago
2007
Springer
Service-Oriented Architectures (SOAs) are increasingly deployed to achieve distributed systems that are modular, flexible and extensible. Designing for a SOA can be difficult, how...
161
click to vote
ESORICS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
153
click to vote
FASE
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
170
click to vote
KI
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In this paper we present a novel general framework for encoding and evolving networks called Common Genetic Encoding (CGE) that can be applied to both direct and indirect...