1866 search results - page 155 / 374 » Dynamic instantiation-checking components |
140
Voted
JCS
2007
15 years 3 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
108
Voted
BC
2004
15 years 3 months ago
2004
In hula hooping, organized motions of the body keep the hoop in stable oscillatory motion parallel to the ground. We examined the hypothesis that the multiple degrees of freedom (D...
155
Voted
DAGSTUHL
2009
15 years 4 months ago
2009
Self-adaptive component-based architectures facilitate the building of systems capable of dynamically adapting to varying execution context. Such a dynamic adaptation is particular...
131
Voted
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
The Web has been rapidly “deepened” by myriad searchable databases online, where data are hidden behind query forms. Helping users query alternative “deep Web” sources in ...
144
Voted
IJRR
2000
15 years 3 months ago
2000
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...