1101 search results - page 167 / 221 » Forcing in proof theory |
107
click to vote
WSC
1997
15 years 1 months ago
1997
The World Wide Web (WWW) has experienced a dramatic increase in popularity since 1993. Many reports indicate that its growth will continue at an exponential rate. This growth has ...
87
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
109
Voted
JCC
2006
15 years 16 days ago
2006
: The major bottleneck of today's atomistic molecular dynamics (MD) simulations is that because of the enormous computational effort involved, only processes at nanoseconds to...
125
click to vote
JSAC
2008
15 years 16 days ago
2008
If a network is to operate successfully, its users need to collaborate. Collaboration takes the form of following a network protocol and involves some resource expenditure on the p...
93
Voted
BEHAVIOURIT
2004
15 years 13 days ago
2004
The extent to which memory for information content is reliable, trustworthy, and accurate is crucial in the information age. Being forced to divert attention to interrupting messag...