1709 search results - page 9 / 342 » Precise Modeling of Design Patterns |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Automatically creating images that give a sense of content can be useful in a number of settings. Such images can summarize a larger collection of media in novel ways, giving an e...
EPEW
2006
Springer
14 years 1 months ago
2006
Springer
Benchmarking as a method of assessing software performance is known to suffer from random fluctuations that distort the observed performance. In this paper, we focus on the fluctua...
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
ISSTA
2012
ACM
12 years 2 days ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
The aim of this work is to study the implementation feasibility of a VLS (Virtual Lambda Sensor) by a TSK (Takagi, Sugeno, Kang) singleton FIS (Fuzzy Inference System). Such a sen...