2282 search results - page 258 / 457 » Active property checking |
149
click to vote
FDL
2006
IEEE
15 years 11 months 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...
130
Voted
ECSQARU
2005
Springer
15 years 10 months 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...
115
Voted
KES
2005
Springer
15 years 10 months 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...
129
Voted
ICRA
2003
IEEE
15 years 10 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...
158
click to vote
DSVIS
1998
Springer
15 years 9 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 ...