3307 search results - page 430 / 662 » The meaning of concurrent programs |
152
click to vote
ICALT
2005
IEEE
16 years 25 days ago
2005
IEEE
Using cases for teaching and learning has received growing attention in teacher training programs. This project intends to build a web forum for student teachers to discuss their ...
208
click to vote
ATAL
2005
Springer
16 years 23 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
222
click to vote
CCS
2005
ACM
16 years 23 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
149
click to vote
LCTRTS
2005
Springer
16 years 21 days ago
2005
Springer
Applications running on the StrongARM SA-1110 or XScale processor cores can specify cache mapping for each virtual page to achieve better cache utilization. In this work, we descr...
182
click to vote
ARGMAS
2004
Springer
16 years 19 days ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...