2282 search results - page 258 / 457 » Active property checking |
185
click to vote
FDL
2006
IEEE
16 years 21 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
166
click to vote
ECSQARU
2005
Springer
16 years 5 days ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
137
click to vote
KES
2005
Springer
16 years 4 days ago
2005
Springer
We propose a method to enhance web browsing history records by considering browsing window attributes. The browsing window attributes means properties of web browser window such as...
158
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
Real-world objects exhibit rich physical interaction behaviours on contact. Such behaviours depend on how heavy and hard it is when held, how its surface feels when touched, how i...
193
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...