1689 search results - page 210 / 338 » Empirical Methodologies in Software Engineering |
103
click to vote
SCI
1999
Springer
15 years 6 months ago
1999
Springer
This paper describes the parallelization of a commercial molecular dynamics simulation code, GROMOS96, on a SCI (Scalable Coherent Interface) interconnected PC cluster. The underly...
117
click to vote
EUROMICRO
1996
IEEE
15 years 5 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
116
click to vote
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
UIST
1995
ACM
15 years 5 months ago
1995
ACM
The central research issue addressed by this paper is how we can design computer interfaces that better support human attention and better maintain the fluency of work. To accompl...