827 search results - page 94 / 166 » Patterns for Timed Property Specifications |
125
Voted
VISUALIZATION
2000
IEEE
15 years 7 months ago
2000
IEEE
A new method for the simplification of flow fields is presented. It is based on continuous clustering. A well-known physical clustering model, the Cahn Hillard model which desc...
107
click to vote
SAS
1999
Springer
15 years 7 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
133
click to vote
JSS
2008
15 years 1 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
146
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
123
Voted
JISBD
2001
15 years 4 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...