Technical Reports 1999

Number of items: 24.

Asveld, P.R.J. (1999) An Infinite Sequence of Full AFL-Structures, Each of Which Possesses an Infinite Hierarchy. Technical Report TR-CTIT-99-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Baier, C. and Hermanns, H. (1999) Weak Bisimulation for Fully Probabilistic Processes. Technical Report TR-CTIT-99-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van den Berg, K.G. and Akşit, M. and van den Broek, P.M. (1999) Use Cases in Object-Oriented Software Development. Technical Report AMIDST/WP2/N003/V02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van den Berg, K.G. and Akşit, M. and van den Broek, P.M. (1999) Modeling the Object-Oriented Software Process: OPEN and the Unified Process. Technical Report AMIDST/WP2/N002/V02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Diakov, N.K. and Bakker, J.L. and van Sinderen, M.J. and Batteram, H.J. (1999) TINA Components used for Service Subscription and Deployment. Technical Report TR-CTIT-99-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Diakov, N.K. and van Sinderen, M.J. and Koprinkov, G.T. (1999) MESH Release 2 implementation at CTIT. Technical Report TR-CTIT-99-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Donk, O.A. and van Dijk, E.M.A.G. and Nijholt, A. (1999) U-WISH, Specification Techniques for Multi-Modal Dialogues. Technical Report TR-CTIT-99-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Evers, M.J. (1999) A Case Study on Adaptability Problems of the Separation of User Interface and Application Semantics. Technical Report TR-CTIT-99-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Garvels, M.J.J. and Kroese, D.P. (1999) On the entrance distribution in RESTART simulation. Technical Report TR-CTIT-99-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Guareis de Farias, C.R. and Ferreira Pires, L. and van Sinderen, M.J. (1999) Conceptual frameworks for the development of CSCW Systems. Technical Report TR-CTIT-99-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hulstijn, J. and Hondorp, G.H.W. and Nijholt, A. and van den Berk, M. and van Hessen, A.J. (1999) Dialogues with a Talking face for Web-based Services and Transactions. Technical Report TR-CTIT-99-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Karagiannis, G. and Heijenk, G.J. (1999) Mobile IP: state of the art report. Technical Report TR-CTIT-99-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Koetsier, M.J. and Grefen, P.W.P.J. and Vonk, J. (1999) Contracts for Cross-Organizational Workflow Management. Technical Report TR-CTIT-99-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pras, A. and van Beijnum, B.J.F. and Sprenkels, R.A.M. (1999) Introduction to TMN. Technical Report TR-CTIT-99-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Reinders, I. (1999) Overview 1998 - PhD theses and Technical Reports. Technical Report TR-CTIT-99-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Rensink, A. and Wehrheim, H. (1999) Process Algebra with Action Dependencies. Technical Report TR-CTIT-99-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Salvador, M.R. and Heemstra de Groot, S.M. and Niemegeers, I.G.M.M. (1999) Protocol and networking design issues for local access WDM networks. Technical Report TR-CTIT-99-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Schooten, B.W. (1999) Building a framework for developing interaction models: Overview of current research in dialogue and interactive systems. Technical Report TR-CTIT-99-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tretmans, G.J. and Belinfante, A.F.E. (1999) Automatic Testing with Formal Methods. Technical Report TR-CTIT-99-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Vatcheva, I.N. and de Jong, H. (1999) Semi-Quantitative Comparative Analysis. Technical Report TR-CTIT-99-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Vonk, J. and Grefen, P.W.P.J. and Boertjes, E.M. and Apers, P.M.G. (1999) Distributed Global Transaction Support for Workflow Management Applications. Technical Report TR-CTIT-99-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. (1999) Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station. Technical Report TR-CTIT-99-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van der Zee, M. and Ait Yaiz, R. and Heijenk, G.J. (1999) Quality of Service over Specific Link Layers: state of the art report. Technical Report TR-CTIT-99-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van der Zee, M. and Heijenk, G.J. (1999) Quality of Service routing: state of the art report. Technical Report TR-CTIT-99-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

This list was generated on Thu May 9 11:45:47 CEST 2013.

	CTIT Home > ... > CTIT Technical Reports > Technical Reports 1999
Home CTIT symposium 2013 About CTIT News NIRICT Research Meet the PhDs Working at CTIT Internal Information Conferences Open Calls (updated May 3, 2013) Library and Videos Knowledge Transfer Links Sitemap Search	Technical Reports 1999 Number of items: 24. Asveld, P.R.J. (1999) An Infinite Sequence of Full AFL-Structures, Each of Which Possesses an Infinite Hierarchy. Technical Report TR-CTIT-99-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Baier, C. and Hermanns, H. (1999) Weak Bisimulation for Fully Probabilistic Processes. Technical Report TR-CTIT-99-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van den Berg, K.G. and Akşit, M. and van den Broek, P.M. (1999) Use Cases in Object-Oriented Software Development. Technical Report AMIDST/WP2/N003/V02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van den Berg, K.G. and Akşit, M. and van den Broek, P.M. (1999) Modeling the Object-Oriented Software Process: OPEN and the Unified Process. Technical Report AMIDST/WP2/N002/V02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Diakov, N.K. and Bakker, J.L. and van Sinderen, M.J. and Batteram, H.J. (1999) TINA Components used for Service Subscription and Deployment. Technical Report TR-CTIT-99-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Diakov, N.K. and van Sinderen, M.J. and Koprinkov, G.T. (1999) MESH Release 2 implementation at CTIT. Technical Report TR-CTIT-99-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Donk, O.A. and van Dijk, E.M.A.G. and Nijholt, A. (1999) U-WISH, Specification Techniques for Multi-Modal Dialogues. Technical Report TR-CTIT-99-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Evers, M.J. (1999) A Case Study on Adaptability Problems of the Separation of User Interface and Application Semantics. Technical Report TR-CTIT-99-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Garvels, M.J.J. and Kroese, D.P. (1999) On the entrance distribution in RESTART simulation. Technical Report TR-CTIT-99-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Guareis de Farias, C.R. and Ferreira Pires, L. and van Sinderen, M.J. (1999) Conceptual frameworks for the development of CSCW Systems. Technical Report TR-CTIT-99-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Hulstijn, J. and Hondorp, G.H.W. and Nijholt, A. and van den Berk, M. and van Hessen, A.J. (1999) Dialogues with a Talking face for Web-based Services and Transactions. Technical Report TR-CTIT-99-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Karagiannis, G. and Heijenk, G.J. (1999) Mobile IP: state of the art report. Technical Report TR-CTIT-99-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Koetsier, M.J. and Grefen, P.W.P.J. and Vonk, J. (1999) Contracts for Cross-Organizational Workflow Management. Technical Report TR-CTIT-99-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Pras, A. and van Beijnum, B.J.F. and Sprenkels, R.A.M. (1999) Introduction to TMN. Technical Report TR-CTIT-99-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Reinders, I. (1999) Overview 1998 - PhD theses and Technical Reports. Technical Report TR-CTIT-99-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Rensink, A. and Wehrheim, H. (1999) Process Algebra with Action Dependencies. Technical Report TR-CTIT-99-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Salvador, M.R. and Heemstra de Groot, S.M. and Niemegeers, I.G.M.M. (1999) Protocol and networking design issues for local access WDM networks. Technical Report TR-CTIT-99-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van Schooten, B.W. (1999) Building a framework for developing interaction models: Overview of current research in dialogue and interactive systems. Technical Report TR-CTIT-99-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Tretmans, G.J. and Belinfante, A.F.E. (1999) Automatic Testing with Formal Methods. Technical Report TR-CTIT-99-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Vatcheva, I.N. and de Jong, H. (1999) Semi-Quantitative Comparative Analysis. Technical Report TR-CTIT-99-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Vonk, J. and Grefen, P.W.P.J. and Boertjes, E.M. and Apers, P.M.G. (1999) Distributed Global Transaction Support for Workflow Management Applications. Technical Report TR-CTIT-99-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Wieringa, R.J. (1999) Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station. Technical Report TR-CTIT-99-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van der Zee, M. and Ait Yaiz, R. and Heijenk, G.J. (1999) Quality of Service over Specific Link Layers: state of the art report. Technical Report TR-CTIT-99-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van der Zee, M. and Heijenk, G.J. (1999) Quality of Service routing: state of the art report. Technical Report TR-CTIT-99-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 This list was generated on Thu May 9 11:45:47 CEST 2013.