16702 search results - page 168 / 3341 » Server operating systems |
85
Voted
ESOP
1999
Springer
15 years 2 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
93
Voted
MMS
2000
14 years 10 months ago
2000
An admission control algorithm for a multimedia server is responsible for determining if a new request can be accepted without violating the Quality of Service (QoS) requirements o...
HOTOS
2009
IEEE
15 years 2 months ago
2009
IEEE
:
BIRTHDAY
2009
Springer
14 years 8 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
79
Voted
SAINT
2007
IEEE
15 years 4 months ago
2007
IEEE
The ubiquitous environment enables us to build systems that provide individual users with personalized navigation services in cities. In developing such a system, it is necessary ...