1860 search results - page 156 / 372 » tools 2009 |
147
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
147
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
176
click to vote
EWSN
2009
Springer
16 years 6 months ago
2009
Springer
Wireless sensor networks are an important tool for the supervision of cool chains. Previous research with a high number of measurement points revealed spatial temperature deviation...
254
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
154
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper proposes a model-based technique for lowering the entrance barrier for service providers to register services with a marketplace broker, such that the service is rapidl...