14360 search results - page 2411 / 2872 » Time Modeling in MARTE |
144
click to vote
ASIACRYPT
2004
Springer
16 years 8 days ago
2004
Springer
d abstract) Bartosz Przydatek1 and Reto Strobl2 1 Department of Computer Science, ETH Z¨urich, Switzerland 2 IBM Research, Zurich Research Laboratory, Switzerland In this paper, w...
188
click to vote
ASIASIM
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
180
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
Distributed Constraint Optimization Problems (DCOP) have, for a long time, been considered an important research area for multi-agent systems because a vast number of realworld si...
168
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
This paper describes our efforts in creating SimEd, a simulation of the education system. The longterm aim of this work is to be able to model the types of interactions and interp...
154
click to vote
CAISE
2004
Springer
16 years 8 days ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....