1488 search results - page 27 / 298 » Measuring Semantic Coverage |
ICSEA
2007
IEEE
15 years 5 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...
76
Voted
CIA
2006
Springer
15 years 2 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 ...
EMSOFT
2008
Springer
15 years 26 days 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...
CDC
2008
IEEE
15 years 5 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...
102
click to vote
AMOST
2005
ACM
15 years 4 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...