2527 search results - page 72 / 506 » A UML-Based Approach to System Testing |
146
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
123
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
121
Voted
IJIIDS
2008
15 years 3 months ago
2008
: Global Navigation Satellite Systems (GNSS) are often used to localise a receiver with respect to a given map. This association problem, also known as map-matching, is usually add...
141
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
138
Voted
IASTEDSEA
2004
15 years 5 months ago
2004
We describe an object oriented approach to developing an Identity Based Encryption system. We show how an existing API was reused and extended to facilitate our development of the...