APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
This paper presents an idea to apply Jackson’s JSP method, which is suitable for the transformation problem frame, into the state transition design, presented in the behavior pr...
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
APSEC
2008
IEEE
14 years 6 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...