1316 search results - page 11 / 264 » A Computational Approach to Compare Information Revelation P... |
RTA
2010
Springer
15 years 1 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...
JNSM
2000
14 years 9 months ago
2000
In this paper, we consider wide-area backbone networks where multiple connection-oriented guaranteed services with differing bandwidth/flow requirements are offered. Specifically,...
81
Voted
ADHOC
2007
14 years 9 months ago
2007
In many sensor networking environments, the sensor nodes have limited battery capacity and processing power. Hence, it is imperative to develop solutions that are energy-efficient...
TRUST
2009
Springer
15 years 4 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
EOR
2010
14 years 9 months ago
2010
We propose both robust and data-driven approaches to a fluid model of call centers that incorporates random arrival rates with abandonment to determine staff levels and dynamic ro...