1297 search results - page 235 / 260 » Control of systems integrating logic, dynamics, and constrai... |
110
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
137
click to vote
CCS
2004
ACM
15 years 6 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
121
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
189
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
126
click to vote
TAICPART
2010
IEEE
14 years 11 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...