4966 search results - page 120 / 994 » its 2010 |
171
click to vote
IFIP
2010
Springer
15 years 4 months ago
2010
Springer
In order to enhance the active life of senior professionals, one fundamental challenge is to identify ways to assist promoting the role of elder people within the continuously agei...
161
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
165
click to vote
VIROLOGY
2010
15 years 4 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
174
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Many real-world datasets can be clustered along multiple dimensions. For example, text documents can be clustered not only by topic, but also by the author's gender or sentim...
163
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Keyword-based search returns its results without concern for the information needs of users at a particular time. In general, search queries are too short to represent what users ...