3921 search results - page 415 / 785 » Transforming Models with ATL |
183
click to vote
ISMM
2009
Springer
16 years 1 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
230
click to vote
ASPLOS
1994
ACM
15 years 11 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
189
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In the paper “Stronger Security of Authenticated Key Exchange” [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model i...
196
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
187
click to vote
DOLAP
2009
ACM
15 years 10 months ago
2009
ACM
Decisional systems are crucial for enterprise improvement. They allow the consolidation of heterogeneous data from distributed enterprise data stores into strategic indicators. An...