6308 search results - page 216 / 1262 » Modeling Urgency in Timed Systems |
151
click to vote
ITS
1998
Springer
15 years 8 months ago
1998
Springer
TRANSoM is a collaborative effort among university and industry researchers aimed at producing an intelligent tutoring system for training pilots of remotely operated vehicles (ROV...
138
click to vote
IJNSEC
2008
15 years 4 months ago
2008
In flow-based mix networks, flow correlation attacks have been proposed earlier and have been shown empirically to seriously degrade mix-based anonymous communication systems. In ...
135
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
123
click to vote
SBACPAD
2004
IEEE
15 years 6 months ago
2004
IEEE
The aim of the paper is to introduce techniques in order to optimize the parallel execution time of sorting on heterogeneous platforms (processors speeds are related by a constant...
138
click to vote
TOMACS
2008
15 years 4 months ago
2008
abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models. Categories and Subject Descriptors: I...