1004 search results - page 48 / 201 » Modeling and Control - Flexible Structure Spacecraft |
100
click to vote
SACMAT
2003
ACM
15 years 4 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
ICMI
2009
Springer
15 years 5 months ago
2009
Springer
Floor control is a scheme used by people to organize speaking turns in multi-party conversations. Identifying the floor control shifts is important for understanding a conversati...
ADC
2008
Springer
15 years 1 months ago
2008
Springer
Many existing access controls use node filtering or querying rewriting techniques. These techniques require rather time-consuming processes such as parsing, labeling, pruning and/...
111
click to vote
APGV
2009
ACM
15 years 5 months ago
2009
ACM
Visualizations of 3D spatial structures use various techniques such as user controlled interactions or 2D projection views to convey the structure to users. Researchers have shown...