2911 search results - page 14 / 583 » A Theory of Expressiveness in Mechanisms |
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
In pervasive computing environments, personal information is expressed in digital forms to a great extent. Daily activities and personal preferences may be easily associated with p...
ACTA
2007
14 years 10 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
FMCO
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
MOBIHOC
2004
ACM
15 years 9 months ago
2004
ACM
NETGAMES
2006
ACM
15 years 3 months ago
2006
ACM
— A practical pricing mechanism is the foundation for the deploying of IP multicast in the inter-domain Internet. The IP multicast service model and its pricing mechanism are dis...