5234 search results - page 901 / 1047 » Method Components - Rationale Revealed |
156
click to vote
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
129
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
143
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract-- Channel estimation for frequency-selective timevarying channels is considered using superimposed training. We employ a discrete prolate spheroidal basis expansion model ...
192
click to vote
ANSS
2004
IEEE
15 years 9 months ago
2004
IEEE
We quantatively analyze the differences between a realistic mobility model, TRANSIMS, and several synthetic mobility models. New synthetic models were created by modifying the sta...
185
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
Achieving interactive performance in cloth animation has significant implications in computer games and other interactive graphics applications. Although much progress has been m...