3828 search results - page 185 / 766 » Proof-Based System Engineering Using a Virtual System Model |
143
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
158
click to vote
KBSE
2007
IEEE
16 years 20 days ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
156
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
204
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
177
click to vote
IM
2007
15 years 7 months ago
2007
—Today’s enterprise data centers are shifting towards a utility computing model where many business critical applications share a common pool of infrastructure resources that o...