3733 search results - page 407 / 747 » Logics of communication and change |
180
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...
169
click to vote
CONCUR
2004
Springer
16 years 6 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
173
click to vote
ICOIN
2004
Springer
16 years 5 days ago
2004
Springer
Recently, mobile SCTP (mSCTP) has been proposed as a transport layer approach for supporting mobility. mSCTP is based on the ’multi-homing’ feature of Stream Control Transmissi...
165
click to vote
IWDC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In ad hoc networks, node mobility causes the network topology to change dynamically over time, which complicates important tasks such as routing and flow control. We pro...
213
click to vote
IWQOS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract— Ensuring performance isolation and differentiation among workloads that share a storage infrastructure is a basic requirement in consolidated data centers. Existing man...