1488 search results - page 27 / 298 » Measuring Semantic Coverage |
125
Voted
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
CIA
2006
Springer
15 years 6 months ago
2006
Springer
Large-scale sensor networks are becoming more present in our life then ever. Such an environment could be a cellular network, an array of fire detection sensors, an array of solar ...
131
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
112
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
We consider a variation of the resource allocation problem. In the traditional problem, there is a global planner who would like to assign a set of players to a set of resources s...
134
click to vote
AMOST
2005
ACM
15 years 8 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...