1805 search results - page 124 / 361 » Functional programming with structured graphs |
150
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
128
click to vote
RAID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...
147
click to vote
AMAI
2006
Springer
15 years 5 months ago
2006
Springer
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
148
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...
161
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...