2152 search results - page 238 / 431 » An Abstract Account of Composition |
167
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
151
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...
166
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— An analytical model is developed for cellular networks with a combined adaptive bandwidth allocation and trafficrestriction mechanism. Instead of focusing only on the ...
170
click to vote
PERSUASIVE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Participatory design methods may help account for the ethical implications of persuasive technology. But how can participatory design methods both address ethical issues ...
130
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In this paper, the concept of restricted real perturbation values of a complex matrix triplet is introduced, and a formula for computing lower bounds of these values is...