1579 search results - page 117 / 316 » A software development process supporting non-functional pro... |
176
click to vote
EKAW
1992
Springer
15 years 8 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
150
click to vote
EDO
2006
Springer
15 years 8 months ago
2006
Springer
Embedded systems are rapidly growing in size, complexity, distribution, and heterogeneity. As a result, the traditional practice of developing one-off embedded applications that a...
106
click to vote
ACSD
2008
IEEE
15 years 11 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
147
click to vote
JDS
2006
15 years 4 months ago
2006
Civil emergency management is discussed when more than one aid organisation is involved in solving an emergency problem. This paper analyses interagency cooperation, decision-makin...
149
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...