2181 search results - page 268 / 437 » Standard Software as Microworld |
101
Voted
SC
2009
ACM
15 years 7 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
83
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
121
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
119
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
103
Voted
ICSEA
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...