1782 search results - page 188 / 357 » Tool Support for Proof Engineering |
174
click to vote
ADAEUROPE
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
168
click to vote
GTTSE
2007
Springer
15 years 10 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
177
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Search engines are an essential tool for modern life. We use them to discover new information on diverse topics and to locate a wide range of resources. The search process in all ...
203
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Assessing the likely run-time performance of applications using thin-client architectures during their design is very difficult. We describe SoftArch/Thin, a thin-client test-bed ...
172
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out of visual...