3799 search results - page 179 / 760 » An Engineering Approach to Formal Methods |
102
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
116
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Flash, as a multimedia format, becomes more and more popular on the Web. However, previous works on Flash are totally based on low-level features, which make it unpractical to bui...
163
Voted
PROFES
2004
Springer
15 years 9 months ago
2004
Springer
In this paper a new Experimental and Explorative Research (EER) research strategy is proposed. It combines experimental software engineering with exploratory research of new techno...
119
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
154
click to vote
WSC
2007
15 years 6 months ago
2007
Importance Sampling is a potentially powerful variance reduction technique to speed up simulations where the objective depends on the occurrence of rare events. However, it is cru...