12745 search results - page 2200 / 2549 » Automating test automation |
186
click to vote
SEBD
2008
15 years 9 months ago
2008
d Abstract) Daniele Braga1 , Diego Calvanese2 , Alessandro Campi1 , Stefano Ceri1 , Florian Daniel1 , Davide Martinenghi1 , Paolo Merialdo3 , Riccardo Torlone3 1 Dip. di Elettronic...
202
click to vote
SIMUTOOLS
2008
15 years 9 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
127
click to vote
NAACL
2007
15 years 9 months ago
2007
Texts exhibit subtle yet identifiable modality about writers’ estimation of how true each statement is (e.g., definitely true or somewhat true). This study is an analysis of suc...
232
click to vote
OPODIS
2007
15 years 9 months ago
2007
Abstract. Grid monitoring systems collect a substantial amount of information on the infrastructure’s status in order to perform various tasks, more commonly to provide a better ...
243
click to vote
SWWS
2008
15 years 9 months ago
2008
- Since the population of elderly people grows absolutely and in relation to the overall population in the world, the improvement of the quality of life of elderly people at home i...