2612 search results - page 299 / 523 » Mobile Processes and Termination |
120
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
145
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
129
click to vote
WECWIS
2002
IEEE
15 years 9 months ago
2002
IEEE
How to conduct automated business negotiation over the Internet is an important issue for agent research. In most bilateral negotiation models, two negotiation agents negotiate by...
118
click to vote
TACS
1997
Springer
15 years 8 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
142
click to vote
SIGCOMM
1994
ACM
15 years 8 months ago
1994
ACM
Applications communicating over connectionless networks, such as IP, cannot obtain per-connection Quality of Service (QoS) guarantees. In contrast, the connection-oriented nature ...