Sciweavers

1140 search results - page 87 / 228
» A Model Driven Framework for IT Transformation
Sort
View
ICWE
2007
Springer
16 years 14 days ago
Tool Support for Model Checking of Web Application Designs
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Marco Brambilla, Jordi Cabot, Nathalie Moreno
ICDM
2006
IEEE
131views Data Mining» more  ICDM 2006»
16 years 11 days ago
Transforming Semi-Honest Protocols to Ensure Accountability
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. This is especially important in the field of privacy...
Wei Jiang, Chris Clifton
TCOM
2010
112views more  TCOM 2010»
15 years 1 months ago
Concise Derivation of Scattering Function from Channel Entropy Maximization
In order to provide a concise time-varying SISO channel model, the principle of maximum entropy is applied to scattering function derivation. The resulting model is driven by few p...
François-Xavier Socheleau, Christophe Laot,...
ICML
2003
IEEE
16 years 7 months ago
Relativized Options: Choosing the Right Transformation
Relativized options combine model minimization methods and a hierarchical reinforcement learning framework to derive compact reduced representations of a related family of tasks. ...
Balaraman Ravindran, Andrew G. Barto
AAAI
2012
13 years 8 months ago
Learning from Demonstration for Goal-Driven Autonomy
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
Ben George Weber, Michael Mateas, Arnav Jhala