1488 search results - page 22 / 298 » Measuring Semantic Coverage |
FASE
2005
Springer
15 years 3 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
82
Voted
WICON
2008
14 years 11 months ago
2008
Wireless connectivity for vehicles is a fast-growing market, with a plethora of different network technologies already in use. Surveys of the numbers of IEEE 802.11b/g access poin...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
79
Voted
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
— A decentralized, adaptive control law is presented to drive a network of mobile robots to a near-optimal sensing configuration. The control law is adaptive in that it integrat...
69
Voted
AIMSA
2000
Springer
15 years 1 months ago
2000
Springer
In the present paper we use the approach of height functions to de ning a semi-distance measure between Horn clauses. This appraoch is already discussed elsewhere in the framework ...