Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Các ứng dụng thích ứng cho các thiết bị di động đa dạng
Proceedings 22nd International Conference on Distributed Computing Systems Workshops - Trang 410-413
Tóm tắt
Chúng tôi giải quyết vấn đề quản lý sự đa dạng của các thiết bị truy cập. Vấn đề mà chúng tôi đang đối mặt là một người dùng có thể di chuyển, muốn tải xuống và thực hiện một ứng dụng từ một máy chủ từ xa. Thiết bị mà người dùng đang sử dụng có thể là nhiều loại như máy tính PC, PDA, điện thoại di động, thiết bị giao tiếp, v.v. với các khả năng phần cứng và phần mềm khác nhau. Vấn đề là xác định xem các đặc tính hiện tại của thiết bị người dùng có tương thích với yêu cầu của ứng dụng hay không nhằm ngăn ngừa các lỗi trong quá trình thực thi. Trong trường hợp không tương thích, chúng tôi muốn xác định các lý do dẫn đến sự không tương thích và thực hiện việc điều chỉnh ứng dụng để nó phù hợp với khả năng của thiết bị người dùng.
Từ khóa
#Phần mềm ứng dụng #Công nghệ phần cứng #Mạng truyền thông cá nhân #Thiết bị số cá nhân #Điện thoại di động #Giao tiếp di động #An toàn #Khoa học máy tính #Chất lượng phần mềm #Chất lượng dịch vụTài liệu tham khảo
necula, 1997, Efficient representation and validation of logical proofs Technical Report CMU-CS-97-172
necula, 1998, Efficient representation and validation of logical proofs, Proc Symp Logic Comput Sci, 93, 10.1109/LICS.1998.705646
10.1007/3-540-68671-1_5
10.1007/10721959_3
paal, 0, Java 2 Platform Micro Edition
paper, 2000, Java 2 platform micro edition (j2me™) technology for creating mobile devices, Technical Report
plesko, 1999, A formalization of the proof-carrying code architecture in a linear logical framework, Proceedings of the FLoC Workshop on Runtime Result Verification
floyd, 1967, Assigning Meaning to Programs
10.1145/349299.349315
marinelli, 2002, Applicazioni di tecniche di proof-carrying code
kib, 0, Virtual machines for limited devices
necula, 1996, Proof-carrying code Technical Report CMU-CS-96-165
10.1145/263699.263712
burstall, 1969, Programs and their proofs an algebraic approach
ai, 0, J2me™architecture and related embedded technologies
10.1145/238721.238781