12333 search results - page 2069 / 2467 » System Level Modelling for Hardware Software Systems |
226
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
162
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Managing personal aspects of health is challenging for many patients, particularly those facing a serious condition such as cancer. Finding experienced patients, who can share the...
150
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
184
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...
179
click to vote
XPU
2007
Springer
16 years 18 days ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...