5075 search results - page 95 / 1015 » Model-based interface development |
134
Voted
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Finding relevant information within the vast amount of information exchanged via feeds is difficult. Previous research into this problem has largely focused on recommending relev...
93
Voted
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Our research is based on the hypothesis that the most important problem that has to be solved, so as to help tutors, is the gap between required competencies of distance ...
124
Voted
MSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The reusing of Intellectual Property cores has been an alternative to the increasing gap between design productivity and chip complexity of emerging System-on-chip (SoC) designs. ...
102
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
120
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...