1069 search results - page 119 / 214 » Automatic Generation of Language-based Tools |
KBSE
1999
IEEE
15 years 4 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...
EUROMICRO
2004
IEEE
15 years 3 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...
119
click to vote
ISLPED
1997
ACM
15 years 3 months ago
1997
ACM
New measures of peak power in the context of sequential circuits are proposed. This paper presents an automatic procedure to obtain very good lower bounds on these measures as wel...
136
click to vote
BXML
2004
15 years 1 months ago
2004
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...
WEBNET
2001
15 years 1 months ago
2001
: As more information is made available online, users collect information in personal information spaces like bookmarks and emails. While most users feel that organizing these coll...