2623 search results - page 260 / 525 » tools 2010 |
167
Voted
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
193
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
The technological progress designing new devices and the scientific growth in the field of Human-Computer Interaction are enabling new interaction modalities to move from resear...
177
Voted
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
137
click to vote
TCS
2010
15 years 4 months ago
2010
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
112
click to vote
TVCG
2010
15 years 4 months ago
2010
— Isosurfaces are fundamental volumetric visualization tools, and are generated by the well-known Marching Cubes cases that approximate contours of trilinearly-interpolated scala...