1860 search results - page 195 / 372 » Automatic Generation of Search Engines |
105
Voted
IUI
2005
ACM
15 years 9 months ago
2005
ACM
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...
114
Voted
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
130
Voted
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
114
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
116
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...