Výsledky vyhledávání - "Cheng, A.M.K."

A language-based access control approach for component-based software applications

Autor: Su, R., Lukkien, J.J., Chaudron, M.R.V., Cheng, A.M.K.

Publikováno v: Proceedings 10th IASTED International Conference on Software Engineering and Applications (SEA 2006, Dallas TX, USA, November 13-15, 2006), 233-238
STARTPAGE=233;ENDPAGE=238;TITLE=Proceedings 10th IASTED International Conference on Software Engineering and Applications (SEA 2006, Dallas TX, USA, November 13-15, 2006)

In this paper we study security in component-based software applications by looking at information leakage from one component to another through operation calls. We model components and security speci¿cations about con¿dentiality as regular languag

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::638b9ef6ed6d87ae04f1b675cf860613
https://research.tue.nl/nl/publications/3273f016-b30c-4a08-a306-36b0a82f76e7

Zobrazit plný text záznamu

Adaptive runtime fault management for services in component-based software applications

Autor: Su, R., Chaudron, M.R.V., Lukkien, J.J., Cheng, A.M.K.

Publikováno v: Proceedings 10th IASTED International Conference on Software Engineering and Applications (SEA 2006, Dallas TX, USA, November 13-15, 2006), 216-221
STARTPAGE=216;ENDPAGE=221;TITLE=Proceedings 10th IASTED International Conference on Software Engineering and Applications (SEA 2006, Dallas TX, USA, November 13-15, 2006)

To improve availability of each individual service, we propose a runtime con¿gurable fault management mecha nism (FMM) which detects deviations from given service speci¿cations by intercepting interface calls. When repair is necessary, FMM picks a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::25142eb398fabf5f42ef3d322f1baf81
https://research.tue.nl/nl/publications/09e59ede-836e-4647-91d7-6cc7b7ee57de

Zobrazit plný text záznamu

Conference

On formal verification of Toyota's electronic throttle controller.

Autor: Ras, J., Cheng, A.M.K.

Publikováno v: 2011 IEEE International Systems Conference (SysCon); 2011, p552-555, 4p

Zobrazit plný text záznamu

Conference

Determining Actual Response Time in P-FRP Using Idle-Period Game Board.

Autor: Belwal, C., Cheng, A.M.K.

Publikováno v: 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC); 2011, p136-143, 8p

Zobrazit plný text záznamu