5434 search results - page 338 / 1087 » Tool support for MOLA |
160
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
It is difficult to identify whether quality requirements are defined adequately or not, but there are few methods to support this kind of requirements analysis. In this paper, we ...
232
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we adopt a template matching method to detect design patterns from a software system by calculating their normalized cross correlation. Because design patterns docu...
186
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
James Nicholas Gray's understanding and experimentation gave him a special perspective. From 1995 his commitment was building indefinitely scalable tools by working on really...
179
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
158
Voted
EUROMED
2010
15 years 5 months ago
2010
Abstract. In this paper we present the framework for collaborative cyberarchaeology with support for teleimmersive communication which aims to provide more natural interaction and ...