7434 search results - page 322 / 1487 » Still |
156
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
In spite of the recent improvements in the performance of Answer Set Programming (ASP) solvers, when the search space is sufficiently large, it is still possible for the search al...
164
click to vote
CNSR
2009
IEEE
15 years 10 months ago
2009
IEEE
Online classification of network traffic is very challenging and still an issue to be solved due to the increase of new applications and traffic encryption. In this paper, we prop...
127
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
Several studies have been conducted to determine if company-specific cost models deliver better prediction accuracy than cross-company cost models. However, mixed results have lef...
132
click to vote
EUROPKI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The recent development of location-based services has originated a set of new security services that address their particular security problems. Spatial-temporal certific...
168
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...