Formalizing the notion of adaptive system behavior
暂无分享,去创建一个
[1] Pamela Zave,et al. Feature interactions and formal specifications in telecommunications , 1993, Computer.
[2] Manfred Broy,et al. Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .
[3] Mario Trapp,et al. Physical Domain Modeling for the Development of Dependable Embedded Systems , 2006, ICSE 2006.
[4] D. Woods,et al. Automation Surprises , 2001 .
[5] Wassiou Sitou,et al. Towards Requirements Engineering for Context Adaptive Systems , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
[6] James H. Aylor,et al. Computer for the 21st Century , 1999, Computer.
[7] Manfred Broy,et al. SERVICE-ORIENTED SYSTEMS ENGINEERING: SPECIFICATION AND DESIGN OF SERVICES AND LAYERED ARCHITECTURES , 2005 .
[8] Bill N. Schilit,et al. Context-aware computing applications , 1994, Workshop on Mobile Computing Systems and Applications.
[9] Gavriel Salvendy,et al. Handbook of Human Factors and Ergonomics , 2005 .
[10] Albrecht Schmidt,et al. Ubiquitous computing - computing in context , 2003 .
[11] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[12] Michael Fahrmair,et al. Unwanted Behavior and its Impact on Adaptive Systems in Ubiquitous Computing , 2006, LWA.
[13] Seyed Masoud Sadjadi,et al. Composing adaptive software , 2004, Computer.
[14] Zièd Choukair,et al. Dynamic, adaptive and reconfigurable systems overview and prospective vision , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..
[15] Matthias Baldauf,et al. A survey on context-aware systems , 2007, Int. J. Ad Hoc Ubiquitous Comput..
[16] Mario Trapp,et al. On the Modeling of Adaptive Systems , 1999 .
[17] Gregory D. Abowd,et al. Providing architectural support for building context-aware applications , 2000 .
[18] Michael Fahrmair,et al. An Engineering Approach to Adaptation and Calibration , 2005, MRC@IJCAI.