1653 search results - page 165 / 331 » Directed tree-width examples |
108
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
130
click to vote
IV
2009
IEEE
15 years 8 months ago
2009
IEEE
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
134
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
204
click to vote
ARGMAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...
113
click to vote
JSSPP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper describes a new and novel scheme for job admission and resource allocation employed by the SODA scheduler in System S. Capable of processing enormous quantitie...