MATRICS: A management tool for the remote intelligent configuration of (pervasive) systems

Proceedings - International Conference on Pervasive Services, ICPS '05

Volumn 2005, Issue , 2005, Pages 457-460

  Bajohr, Markus ^a   Margaria, Tiziana ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF GÖTTINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CELLULAR TELEPHONE SYSTEMS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER SOFTWARE; ELECTRONIC MAIL; SERVERS;

HARDWARE- PLATFORMS; MATRICS; PERVASIVE MANAGEMENT; SYSTEM MANAGERS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33744963852     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PERSER.2005.1506567     Document Type: Conference Paper

References (13)

1. Eclipse Foundation: http://www.eclipse.org/
2. A. Hagerer, T. Margaria, O. Niese, B. Stoffen, G. Brune, H.-D. Ide: An Efficient Regression Testing of CTI Systems: Testing a complex Call-Center Solution, Annual Review of Communic., Vol. 55, Int. Engin. Consortium, Chicago, 2001.
3. T. Margaria: Components, Features, and Agents in the ABC, in "Components, Features, and Agents", LNCS 2975, pp. 154-174, 2004, Springer Verlag.
4. T. Margaria, R. Nagel, B. Steffen: Remote Integration and Coordination of Verification Tools in JETI, Proc. of ECBS 2005, 12th IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems, 4-7 April 2005, Washington DC (USA), IEEE Press.
5. T. Margaria, R. Nagel, B. Steffen: jETI; A Tool for Remote Tool Integration (Tool Demonstration) Proc. TACAS'05, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh (UK), April 2005, LNCS, Springer Verlag.
6. T. Margaria, B. Steffen: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach, in STTT, Special Section on Formal Methods in Industrial Critical Systems, of the Int. Journal on Software Tools for Technology Transfer, Vol.5, N.2-3, 2004, Springer Verlag, pp.107-123.
7. T. Margaria, B. Steffen: Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints Monterey'03 Worksh. on "Software Engineering for Embedded Systems: From Requirements to Implementation", Chicago, Sept. 2003.
8. T. Margaria, B. Steffen: Second-Order Semantic Web, Proc. SEW'05, 29th IEEE/NASA Software Engineering Workshop, Greenbelt (USA), April 2005, IEEE ComputerSociety Press.
9. M. Müller-Olm, H. Yoo: MetaGame: An Animation Tool for Model-Checking Games, Proc. TACAS 2004, LNCS 2988, pp. 163-167, 2004, Springer Verlag.
10. Nagios: www.nagios.org
11. B. Steffen, T. Margaria: METAFrame in Practice: Intelligent Network Service Design, In Correct System Design - Issues, Methods and Perspectives, LNCS 1710, Springer Verlag, 1999, pp. 390-415.
12. B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical service definition, Annual Review of Communication, Int. Engin. Consortium (IEC), 1997, pp. 847-856.
13. Webmin: www.webmin.com