10790 search results - page 1839 / 2158 » Using feature models to automate model transformations |
171
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we argue that there is a need for an event-based middleware to build large-scale distributed systems. Existing publish/subscribe systems still have limitations comp...
190
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...
225
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
179
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
182
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Interested in Evolutionary Robotics, this paper focuses on the acquisition and exploitation of memory skills. The targeted task is a well-studied benchmark problem, the Tolman ...