1579 search results - page 284 / 316 » A software development process supporting non-functional pro... |
144
Voted
BMCBI
2006
15 years 4 months ago
2006
Background: Scientific literature is a source of the most reliable and comprehensive knowledge about molecular interaction networks. Formalization of this knowledge is necessary f...
120
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
149
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...
162
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
124
click to vote
ICNP
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...