Sciweavers

2404 search results - page 268 / 481
» Postmodernism and Control Engineering
Sort
View
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
NJC
2006
88views more  NJC 2006»
15 years 6 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
APIN
2002
90views more  APIN 2002»
15 years 6 months ago
Scalable Techniques from Nonparametric Statistics for Real Time Robot Learning
Abstract: Locally weighted learning (LWL) is a class of techniques from nonparametric statistics that provides useful representations and training algorithms for learning about com...
Stefan Schaal, Christopher G. Atkeson, Sethu Vijay...
ECRA
2002
129views more  ECRA 2002»
15 years 6 months ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...
SAC
2008
ACM
15 years 5 months ago
A lifecycle approach to SOA governance
Due to the distributed nature of Service-Oriented Architectures (SOA), maintaining control in a SOA environment becomes more difficult as services spread over different lines-of-b...
T. G. J. Schepers, Maria-Eugenia Iacob, Pascal van...