1813 search results - page 212 / 363 » Mechanism Design on Trust Networks |
169
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
148
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Recent results in networked control systems indicate substantial benefits of event-based control compared to conventional designs. This paper identifies structural prope...
196
click to vote
IWCMC
2006
ACM
16 years 14 days ago
2006
ACM
This paper introduces project TITAN, which investigates an alternative construct of residential broadband access. The aim of the project is to increase the utilisation of deployed...
302
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
166
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...