14360 search results - page 2662 / 2872 » Time Modeling in MARTE |
154
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
192
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
180
click to vote
EUROPAR
2005
Springer
16 years 15 hour ago
2005
Springer
The model of moldable task (MT) was introduced some years ago and has been proved to be an efficient way for implementing parallel applications. It considers a target application ...
157
click to vote
ICS
2005
Tsinghua U.
16 years 36 min ago
2005
Tsinghua U.
As parallel jobs get bigger in size and finer in granularity, “system noise” is increasingly becoming a problem. In fact, fine-grained jobs on clusters with thousands of SMP...
185
click to vote
KDD
2005
ACM
15 years 12 months ago
2005
ACM
Mining data streams is important in both science and commerce. Two major challenges are (1) the data may grow without limit so that it is difficult to retain a long history; and (...