Article

Correct deployment and adaptation of software applications on heterogenous (mobile) devices

Authors:

P. Inverardi,

F. Mancinelli,

G. MarinelliAuthors Info & Claims

WOSS '02: Proceedings of the first workshop on Self-healing systems

Pages 108 - 110

https://doi.org/10.1145/582128.582151

Published: 18 November 2002 Publication History

Get Access

References

[1]

Java 2 platform micro edition (j2me™) technology for creating mobile devices. Technical report, May 2000.

Google Scholar

[2]

P. Inverardi, F. Mancinelli, and G. Marinelli. A formal framework for tailoring mid applications. Technical report, Dipartimento di Informatica, Universita' dell'Aquila, 2002.

Google Scholar

[3]

G. Marinelli. Applicazioni di tecniche di proof-carrying code. Tesi di Laurea, 2002.

Google Scholar

[4]

G. C. Necula. Proof-carrying code. In Proceedings of the Symposium on Principles of Programming Languages. ACM Press, 1997.

Digital Library

Google Scholar

[5]

G. C. Necula and P. Lee. Proof-carrying code. Technical Report CMU-CS-96-165, School of Computer Science, Carnegie Mellon University, Sept. 1996.

Google Scholar

[6]

P.Inverardi, F.Mancinelli, and G.Marinelli. Adaptive applications for mobile heterogenous devices. In Proceedings of 22nd International Conference on Distributed Computing Systems Workshops. IEEE Computer Society Press, 2002.

Digital Library

Google Scholar

Cited By

View all

Matt D(2011)Enhanced Survivability- a Framework of Self-Healing Mechanisms’ Installation Using Axiomatic Design in Agile Manufacturing SystemsEnabling Manufacturing Competitiveness and Economic Sustainability10.1007/978-3-642-23860-4_25(153-159)Online publication date: 15-Sep-2011
https://doi.org/10.1007/978-3-642-23860-4_25
Berardinelli LCortellessa VDi Marco A(2010)A Profile-Driven Environment for Modeling and Analyzing Context-Aware Software ServicesProceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications10.1109/SEAA.2010.47(199-208)Online publication date: 1-Sep-2010
https://dl.acm.org/doi/10.1109/SEAA.2010.47
Ghosh DSharman RRaghav Rao HUpadhyaya S(2007)Self-healing systems - survey and synthesisDecision Support Systems10.1016/j.dss.2006.06.01142:4(2164-2185)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.1016/j.dss.2006.06.011
Show More Cited By

Correct deployment and adaptation of software applications on heterogenous (mobile) devices
1. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning

Recommendations

A Framework for Over the Air Provider-Initiated Software Deployment on Mobile Devices
ASWEC '08: Proceedings of the 19th Australian Conference on Software Engineering

While mobile users want to obtain software anywhere and anytime without the knowledge of software availability in advance, software providers want to deploy their software to mobile devices without the users' intervention. However, because mobile ...
Automatic adaptation of mobile applications to different user devices using modular mobile agents: Research Articles

Wearable, handheld, and embedded or standalone intelligent devices are becoming quite common and can support a diverse range of applications. In order to simplify development of applications which can adapt to a variety of mobile devices, we propose an ...
Moving mobile applications between mobile devices seamlessly
ICSE '12: Proceedings of the 34th International Conference on Software Engineering

Users prefer using multiple mobile devices interchangeably by switching between the devices. A solution to this requirement is the migration of applications between mobile devices at runtime. In our vision to move the application from a device A to a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

WOSS '02: Proceedings of the first workshop on Self-healing systems

November 2002

120 pages

ISBN:1581136099

DOI:10.1145/582128

Editors:
David Garlan
Carnegie Mellon University
,
Jeff Kramer
Imperial College
,
Alexander Wolf
University of Colorado

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 November 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

WOSS02

Sponsor:

SIGSOFT

WOSS02: Workshop on Self-Healing Systems [co-located with ACM SIGSOFT 2002: 10th International Symposium on the Foundations of Software Engineering ]

November 18 - 19, 2002

South Carolina, Charleston

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
516
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Matt D(2011)Enhanced Survivability- a Framework of Self-Healing Mechanisms’ Installation Using Axiomatic Design in Agile Manufacturing SystemsEnabling Manufacturing Competitiveness and Economic Sustainability10.1007/978-3-642-23860-4_25(153-159)Online publication date: 15-Sep-2011
https://doi.org/10.1007/978-3-642-23860-4_25
Berardinelli LCortellessa VDi Marco A(2010)A Profile-Driven Environment for Modeling and Analyzing Context-Aware Software ServicesProceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications10.1109/SEAA.2010.47(199-208)Online publication date: 1-Sep-2010
https://dl.acm.org/doi/10.1109/SEAA.2010.47
Ghosh DSharman RRaghav Rao HUpadhyaya S(2007)Self-healing systems - survey and synthesisDecision Support Systems10.1016/j.dss.2006.06.01142:4(2164-2185)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.1016/j.dss.2006.06.011
Inverardi P(2007)Software of the Future Is the Future of Software?Trustworthy Global Computing10.1007/978-3-540-75336-0_5(69-85)Online publication date: 2007
https://doi.org/10.1007/978-3-540-75336-0_5
Inverardi P(2006)Software of the future is the future of software?Proceedings of the 2nd international conference on Trustworthy global computing10.5555/1776656.1776663(69-85)Online publication date: 7-Nov-2006
https://dl.acm.org/doi/10.5555/1776656.1776663

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

A Framework for Over the Air Provider-Initiated Software Deployment on Mobile Devices

Automatic adaptation of mobile applications to different user devices using modular mobile agents: Research Articles

Moving mobile applications between mobile devices seamlessly