1598 search results - page 268 / 320 » A Unified Computation Model for Functional and Logic Program... |
188
click to vote
POST
2012
14 years 6 days ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
160
click to vote
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
166
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
186
click to vote
SIAMCOMP
2010
15 years 3 months ago
2010
We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity o...
145
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper studies the effects of introducing altruistic agents into atomic congestion games. Altruistic behavior is modeled by a trade-off between selfish and social objectives. ...