713 search results - page 95 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
107
click to vote
CLUSTER
2000
IEEE
14 years 11 months ago
2000
IEEE
Clusters of workstations and networked parallel computing systems are emerging as promising computational platforms for HPC applications. The processors in such systems are typica...
124
click to vote
TC
2010
14 years 6 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
HPDC
2005
IEEE
15 years 5 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
114
click to vote
SOFTVIS
2010
ACM
14 years 12 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
ISSA
2008
15 years 1 months ago
2008
This paper replicates and extends Observed Trends in Spam Construction Techniques: A Case Study of Spam Evolution. A corpus of 169,274 spam email was collected over a period of fi...