6953 search results - page 292 / 1391 » Development Tools for Distributed Applications |
213
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
16 years 3 days ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
204
Voted
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
184
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The German cDNA Consortium has been cloning full length cDNAs and continued with their exploitation in protein localization experiments and cellular assays. However, t...
154
click to vote
DAIS
2010
15 years 8 months ago
2010
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
225
click to vote
TSE
2010
15 years 1 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...