5216 search results - page 798 / 1044 » Planning as Model Checking |
217
click to vote
JAIHC
2010
15 years 5 months ago
2010
The state of the art is explored in using soft computing (SC) methods for network intrusion detection, including the examination of efforts in ten specific areas of SC as well as ...
171
click to vote
TSE
2010
15 years 4 months ago
2010
—This paper proposes a self-healing approach to handle exceptions in service-based processes and to repair the faulty activities with a model-based approach. In particular, a set...
165
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Mobile operators currently prefer optimizing their radio networks via re-homing or cutting over the cell sites in 2G or 3G networks. The core network, as the parental part of radi...
153
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a novel approach, called Dynamic Fractional Resource Scheduling (DFRS), to share homogeneous cluster computing platforms among competing jobs. DFRS leverages virtual mac...
282
click to vote
ICOM
2011
14 years 10 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...