1757 search results - page 166 / 352 » Alternating Refinement Relations |
120
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...
124
click to vote
ISQED
2002
IEEE
15 years 8 months ago
2002
IEEE
— The inductive characteristics of several types of gridded power distribution networks are described in this paper. The inductance extraction program FastHenry is used to evalua...
113
Voted
RTSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present several locking synchronization protocols and associated schedulability conditions for Pfair-scheduled multiprocessor systems. We focus on two classes of protocols. The...
126
Voted
EPIA
2001
Springer
15 years 8 months ago
2001
Springer
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
124
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
One of the crucial elements in the Internet’s success is its ability to adequately control congestion. This paper defines and solves several optimization problems related to In...