-
1
-
-
33744963852
-
MaTRICS: A management tool for remote intelligent configuration of (Pervasive) systems
-
In: Santorini, IEEE Computer Society Press
-
Bajohr M, Margaria T (2005) MaTRICS: A management tool for remote intelligent configuration of (Pervasive) systems. In: Proceedings of ICPS 2005, IEEE International Conference on pervasive services, Santorini, IEEE Computer Society Press, pp 457-460
-
(2005)
Proceedings of ICPS 2005, IEEE International Conference on Pervasive Services
, pp. 457-460
-
-
Bajohr, M.1
Margaria, T.2
-
2
-
-
33746820451
-
-
Eclipse Foundation
-
Eclipse Foundation: http://www.eclipse.org/
-
-
-
-
4
-
-
0142164718
-
An efficient regression testing of CTI systems: Testing a complex call-center solution
-
Int. Engin. Consortium, Chicago
-
Hagerer A, Margaria T, Niese O, Steffen B, Brune G, Ide H-D (2001) An efficient regression testing of CTI systems: Testing a complex call-center solution. Annual Review of Communications, Vol. 55. Int. Engin. Consortium, Chicago
-
(2001)
Annual Review of Communications
, vol.55
-
-
Hagerer, A.1
Margaria, T.2
Niese, O.3
Steffen, B.4
Brune, G.5
Ide, H.-D.6
-
5
-
-
0038394746
-
General recommendations on telephone switching and signaling intelligent network: Introduction to intelligent network capability set 1
-
ITU Recommendation Q.1211, Telecommunication Standardization Sector of ITU, Geneva
-
ITU (1993) General recommendations on telephone switching and signaling intelligent network: Introduction to intelligent network capability set 1. Recommendation Q.1211, Telecommunication Standardization Sector of ITU, Geneva
-
(1993)
-
-
-
6
-
-
33744953301
-
Recommendation Q.1203. "Intelligent Network - Global Functional Plane Architecture"
-
ITU-T
-
ITU-T (1992) Recommendation Q.1203. "Intelligent Network - Global Functional Plane Architecture"
-
(1992)
-
-
-
7
-
-
33744949799
-
Recommendation Q.1204. "Distributed Functional Plane for Intelligent Network Capability Set 2: Parts 1-4"
-
ITU-T
-
ITU-T (1997) Recommendation Q.1204. "Distributed Functional Plane for Intelligent Network Capability Set 2: Parts 1-4"
-
(1997)
-
-
-
9
-
-
33646349889
-
Components, features, and agents in the ABC, invited contribution to the volume Components, features, and agents
-
Springer Berlin Heidelberg New York LNCS 2975
-
T Margaria 2004 Components, features, and agents in the ABC, invited contribution to the volume Components, features, and agents Springer Berlin Heidelberg New York 154-174 LNCS 2975
-
(2004)
, pp. 154-174
-
-
Margaria, T.1
-
10
-
-
84904248467
-
Community usage of the Online Conference service: An experience report from three CS conferences
-
Lisboa (P), in Kluwer, Dordrecht Towards the Knowledge Society
-
Margaria T, Karusseit M (2002) Community usage of the Online Conference service: An experience report from three CS conferences, 2nd IFIP Conference on "e-commerce, e-business, e-government" (I3E 2002), Lisboa (P), in Towards the Knowledge Society, Kluwer, Dordrecht, pp. 497-511
-
(2002)
2nd IFIP Conference on "e-Commerce, E-Business, E-Government" (I3E 2002)
, pp. 497-511
-
-
Margaria, T.1
Karusseit, M.2
-
11
-
-
28344439035
-
Remote integration and coordination of verification tools in jETI
-
In IEEE Press, Washington DC
-
Margaria T, Nagel R, Steffen B (2005) Remote integration and coordination of verification tools in jETI. In Proceedings of ECBS 2005, 12th annual IEEE International Conference and workshop on the engineering of computer based systems. IEEE Press, Washington DC, 4-7
-
(2005)
Proceedings of ECBS 2005, 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
, pp. 4-7
-
-
Margaria, T.1
Nagel, R.2
Steffen, B.3
-
12
-
-
19644377513
-
Sightweight coarse-grained coordination: A scalable system-level approach
-
in Springer, Berlin Heidelberg New York
-
Margaria T, Steffen B (2004) Lightweight coarse-grained coordination: A scalable system-level approach, in STTT, special section on formal methods in industrial critical systems, of the International journal on software tools for technology transfer. Springer, Berlin Heidelberg New York 5(2-3):107-123
-
(2004)
STTT, Special Section on Formal Methods in Industrial Critical Systems, of the International Journal on Software Tools for Technology Transfer
, vol.5
, Issue.2-3
, pp. 107-123
-
-
Margaria, T.1
Steffen, B.2
-
14
-
-
33744965257
-
-
In: ICSOC 2005: 3rd ACM SIG-SOFT/SIGWEB International Conference on service-oriented computing, Amsterdam, LNCS 3826. Springer, Berlin Heidelberg New York
-
Margaria T, Steffen B, Reitenspieß M (2005) In: Service-Oriented Design: The Roots, ICSOC 2005: 3rd ACM SIG-SOFT/SIGWEB International Conference on service-oriented computing, Amsterdam, LNCS 3826. Springer, Berlin Heidelberg New York, pp 450-464
-
(2005)
Service-Oriented Design: The Roots
, pp. 450-464
-
-
Margaria, T.1
Steffen, B.2
Reitenspieß, M.3
-
15
-
-
35048877856
-
MetaGame: An animation tool for model-checking games
-
In: LNCS 2988. Springer, Berlin Heidelberg New York
-
Müller-Olm M, Yoo H (2004) MetaGame: An animation tool for model-checking games. In: Proceedings of TACAS 2004, LNCS 2988. Springer, Berlin Heidelberg New York, pp 163-167
-
(2004)
Proceedings of TACAS 2004
, pp. 163-167
-
-
Müller-Olm, M.1
Yoo, H.2
-
16
-
-
33746804417
-
-
Nagios
-
Nagios: www.nagios.org
-
-
-
-
17
-
-
23044518175
-
METAFrame in practice: Intelligent network service design
-
In: LNCS 1710. Springer Berlin Heidelberg New York
-
Steffen B, Margaria T (1999) METAFrame in practice: Intelligent network service design. In: Correct system design - issues, methods and perspectives, LNCS 1710. Springer Berlin Heidelberg New York, pp 390-415
-
(1999)
Correct System Design - Issues, Methods and Perspectives
, pp. 390-415
-
-
Steffen, B.1
Margaria, T.2
-
18
-
-
18944368378
-
Hierarchical service definition
-
Int. Eng. Consortium (IEC)
-
Steffen B, Margaria T, Braun V, Kalt N (1997) Hierarchical service definition, Annual Review of Communication. Int. Eng. Consortium (IEC), pp 847-856
-
(1997)
Annual Review of Communication
, pp. 847-856
-
-
Steffen, B.1
Margaria, T.2
Braun, V.3
Kalt, N.4
-
19
-
-
33746851411
-
-
Webmin
-
Webmin: www.webmin.com
-
-
-
|