762 search results - page 60 / 153 » Argo: A Design Environment for Evolving Software Architectur... |
134
click to vote
PDP
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Execution of applications on upcoming highperformance computing (HPC) systems introduces a variety of new challenges and amplifies many existing ones. These systems will...
105
click to vote
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...
137
click to vote
SUTC
2006
IEEE
15 years 8 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
133
click to vote
WCRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
110
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...