2436 search results - page 262 / 488 » Comonadic Notions of Computation |
152
click to vote
CONCUR
2005
Springer
16 years 5 days ago
2005
Springer
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
171
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
Peer-to-peer computing and networking, an emerging model of communication and computation, has recently started to gain significant acceptance. This model not only enables client...
162
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...
180
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
177
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
: Deadline handling is a fundamental part of real-time computing but has been practiced in ad hoc forms for decades. A general framework for systematic deadline handling in real-ti...