7027 search results - page 494 / 1406 » Software process: a roadmap |
209
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
199
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
203
click to vote
REFSQ
2010
Springer
2010
Springer
Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations
15 years 9 months ago
[Context and motivation] The increasing demand of software systems to process and manage sensitive information has led to the need that software systems should comply with relevant...
166
click to vote
ARCS
2010
Springer
15 years 7 months ago
2010
Springer
Processor speed and available computing power constantly increases, enabling computation of more and more complex problems such as numerical simulations of physical processes. In t...
171
click to vote
CCE
2008
15 years 6 months ago
2008
Transport and separation processes in ionic systems located in the porous medium are investigated. The software for the modeling of the combined electroosmotic, migration, diffusi...