9067 search results - page 830 / 1814 » Adaptive Model Checking |
168
click to vote
IFIP
2009
Springer
16 years 2 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
183
Voted
ICRA
2007
IEEE
16 years 2 months ago
2007
IEEE
— This paper presents a body model of intermediate level of detail to allow prediction of the knee torque produced by thigh muscles based on EMG signals. This torque prediction i...
181
Voted
DEXAW
1998
IEEE
15 years 12 months ago
1998
IEEE
In mobile collaborative applications, collaborators may move across heterogeneous environments. This paper proposes object models for seamless transition of collaborators across h...
198
Voted
LWA
2004
15 years 9 months ago
2004
User models (UM)the explicit representation of all relevant aspects of a user's preferences, beliefs, etc. form the basis of virtually all adaptive systems. While early appro...
186
Voted
SERP
2004
15 years 9 months ago
2004
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...