8398 search results - page 1072 / 1680 » Optimal Software Testing |
162
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Fairly rapid environmental changes call for continuous surveillance and on-line decision making. There are two main areas where IT technologies can be valuable. In this paper we pr...
153
click to vote
IEICET
2010
15 years 5 months ago
2010
In this paper, we propose a new way to estimate fog extinction at night using a classification of fog depending on the forward scattering. We show that a characterization of fog ...
203
Voted
IVA
2010
Springer
15 years 5 months ago
2010
Springer
In a good team, members do not only perform their individual task, they also coordinate their actions with other members of the team. Developing such team skills usually involves e...
200
click to vote
JUCS
2010
15 years 5 months ago
2010
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
322
Voted
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...