2836 search results - page 427 / 568 » Model Checking for Software Architectures |
152
click to vote
PATMOS
2007
Springer
16 years 14 days ago
2007
Springer
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
178
click to vote
WOSS
2004
ACM
15 years 11 months ago
2004
ACM
Components in a decentralised system are faced with uncertainty as how to best adapt to a changing environment to maintain or optimise system performance. How can individual compo...
146
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...
152
click to vote
AVI
2004
15 years 7 months ago
2004
Although the power of personal computers has increased 1000-fold over the past 20 years, user interfaces remain essentially the same. Innovations in HCI research, particularly nov...
149
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...