4190 search results - page 713 / 838 » Implementing commitment-based interactions |
170
Voted
SOCIALCOM
2010
15 years 9 days ago
2010
Mobile devices such as cell phone, PDA and smart phone have been so popularized that they are to be a necessity for everyday life. These mobile devices can be very useful tools to ...
156
Voted
TACAS
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
143
click to vote
UIST
2010
ACM
15 years 8 days ago
2010
ACM
We present a new technology for enhancing touch interfaces with tactile feedback. The proposed technology is based on the electrovibration principle, does not use any moving parts...
193
Voted
DLS
2009
15 years 6 days ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
156
click to vote
FIW
2009
15 years 6 days ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...