2162 search results - page 290 / 433 » Automated Reasoning on Feature Models |
154
click to vote
IVEVA
2004
15 years 6 months ago
2004
Today, the development of a VR application is still a long and difficult task as new features are being developed for Virtual Reality. There is a need to have better modelling tool...
136
Voted
CHI
2007
ACM
16 years 5 months ago
2007
ACM
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...
160
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
119
Voted
FC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Secure login methods based on human cognitive skills can be classified into two categories based on information available to a passive attacker: (i) the attacker fully ob...
143
Voted
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...