3921 search results - page 86 / 785 » Transforming Models with ATL |
106
click to vote
IFM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
100
Voted
SCAM
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
243
Voted
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Time series stored as feature vectors can be indexed by multidimensional index trees like R-Trees for fast retrieval. Due to the dimensionality curse problem, transformations are ...
112
click to vote
ESORICS
2012
Springer
13 years 3 months ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...