1087 search results - page 153 / 218 » Achieving Distributed Control through Model Checking |
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
Longitudinal data arises in many applications in which the goal is to understand changes in individual entities over time. In this paper, we present a method for analyzing longitu...
DEBU
2008
13 years 9 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
IJNSEC
2007
13 years 9 months ago
2007
In order to maximize resource utilization as well as providing trust management in P2P computing environments, we propose a novel framework - Trust-Incentive Service Management (T...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We contribute an approach for interactive policy learning through expert demonstration that allows an agent to actively request and effectively represent demonstration examples. I...