Direct backtracking: An advanced adaptation algorithm for pervasive applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4934 LNCS, Issue , 2008, Pages 53-67

  Schuhmann, Stephan ^a   Herrmann, Klaus ^a   Rothermel, Kurt ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; CONSTRAINT THEORY; PROJECT MANAGEMENT;

ADAPTATION ALGORITHMS; APPLICATION SCENARIOS; BACKTRACKING ALGORITHMS; CENTRALIZED ALGORITHMS; COMPUTATION POWER; COMPUTING SYSTEMS; HETEROGENEOUS ENVIRONMENTS; HYBRID APPROACHES; INTERNATIONAL CONFERENCES; RESEARCH PROJECTS; RESOURCE-RICH DEVICES;

ALGORITHMS;

EID: 49949102124     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78153-0_6     Document Type: Conference Paper

References (12)

1. nd IEEE International Conference on Pervasive Computing and Communications (PerCom 2004), Orlando, USA (2004)
2. Román, M., et al.: Gaia: A Middleware Infrastructure to Enable Active Spaces. In: IEEE Pervasive Computing, pp. 74-83 (October-December 2002)
3. rd Working IEEE/IFIP Conference on Software Architecture, August 2002, pp. 29-43. Kluwer Academic Publishers, Dordrecht (2002)
4. Saif, U., et al.: A case for goal-oriented programming semantics. In: UbiSys 2003: Workshop on System Support for Ubiquitous Computing at UbiComp 2003, Seattle, USA, pp. 1-8 (2003)
5. Handte, M., Becker, C., Rothermel, K.: Peer-based Automatic Configuration of Pervasive Applications. In: IEEE International Conference on Pervasive Services 2005 (ICPS 2005), Santorini, Greece (2005)
6. th IEEE International Conference on Pervasive Computing and Communications (PerCom 2006), Pisa, Italy (2006)
7. Yokoo, M., et al.: The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. IEEE Transactions on Knowledge and Data Engineering 10(5), 673-685 (1998)
8. Baker, A.B.: Intelligent Backtracking on Constraint Satisfaction Problems: Experimental and Theoretical Results. PhD Thesis, University of Oregon (March 1995)
9. Brito, I., Meseguer, P.: Synchronous, asynchronous and hybrid algorithms for DisCSP. In: Workshop on Distributed Constraints Reasoning (DCR, 2004), Toronto, Canada (September 2004)
10. Gaschnig, J.: A general backtrack algorithm that eliminates most redundant checks. In: International Joint Conference on Artificial Intelligence, Menlo Park, p. 457 (1977)
11. Stallman, R.M., Sussman, G.J.: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence 9, 135-196 (1977)
12. Ginsberg, M.L.: Dynamic backtracking. Journal of Artificial Intelligence Research 1, 25-46 (1993)