924 search results - page 62 / 185 » Middleware-based distributed systems software process |
112
Voted
ECBS
2009
IEEE
15 years 9 months ago
2009
IEEE
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well a...
121
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
85
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
While previous work has shown MPI to provide capabilities for system software, actual adoption has not widely occurred. We discuss process management shortcomings in MPI implement...
132
Voted
EDO
2006
Springer
15 years 6 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...
118
click to vote
SPIN
2000
Springer
15 years 6 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...