Technical Reports 1997

Number of items: 38.

Akkermans, H. and Ygge, F. (1997) Smart Software as Customer Assistant in Large-Scale Distributred Load Management. Technical Report TR-CTIT-97-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Akkermans, H. and Ygge, F. and Gustavsson, R. (1997) Homebots: Intelligent Decentralized Services for Energy. Technical Report TR-CTIT-97-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Asveld, P.R.J. and Nijholt, A. (1997) The Inclusion Problem for Some Subclasses of Context-Free Languages. Technical Report TR-CTIT-97-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Bakel, B. and Boon, R.T. and Mars, N.J.I. and Nijhuis, J. and Oltmans, E. and van der Vet, P.E. (1997) Condorcet Annual Report. Technical Report TR-CTIT-97-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

de Boer, P.T. and Nicola, V.F. (1997) Hybrid Importance Sampling Estimation of Consecutive Cell Loss Probability. Technical Report TR-CTIT-97-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

de Boer, P.T. and Nicola, V.F. (1997) Hybrid Importance Sampling Estimation of Consecutive Cell Loss Pobability. Technical Report TR-CTIT-97-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Brinksma, H. and Nymeyer, A. (1997) Process Algebra and Performance Modelling. Technical Report TR-CTIT-97-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Castaneda, M.G.M. (1997) Overview 1996, PhD thesis and Technical Reports. Technical Report TR-CTIT-97-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

D'Argenio, P.R. (1997) Regular Processes and Timed Automata. Technical Report TR-CTIT-97-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97), 26-27 Jun 1997, Enschede, the Netherlands. pp. 1-16. Technical Report TR-CTIT-97-14. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625

D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The Bounded Retransmission Protocol must be on time! Technical Report TR-CTIT-97-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Grefen, P.W.P.J. and Vonk, J. and Boertjes, E.M. and Apers, P.M.G. (1997) Two-Layer Transaction Management for Workflow Management. Technical Report TR-CTIT-97-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Havinga, P.J.M. and Smit, G.J.M. (1997) Low Power Systems Design Techniques for Mobile Computers. Technical Report TR-CTIT-97-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hoeksema, F.W. and van der Veen, J.T. and van Beijnum, B.J.F. (1997) A Methodical Approach to Performance Measurement Experiments: Measure and Measurement Specification. Technical Report TR-CTIT-97-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hulstijn, J. (1997) Structured Information States - raising and resolving issues. Technical Report TR-CTIT-97-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Jones, V.M. (1997) Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation. Technical Report TR-CTIT-97-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Jonk, K.J. (1997) Design and implementation of an ATM Performance Measurement Tool. Technical Report TR-CTIT-97-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van de Kamp, I. and Pouw, C. (1997) Proceedings Teleleren Workshop, 31 januari 1997. Technical Report TR-CTIT-97-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kroese, D.P. (1997) On the decay rates of buffers in continous flow lines. Technical Report TR-CTIT-97-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kroese, D.P. (1997) Analysis of a Markov-modulated fluid tandem queue. Technical Report TR-CTIT-97-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kroese, D.P. and Nicola, V.F. (1997) Efficient Simulation of Backlogs in Fluid Flow Lines. Technical Report TR-CTIT-97-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kroese, D.P. and Scheinhardt, W.R.W. (1997) A Markov-modulated fluid system with two interacting reservoirs. Technical Report TR-CTIT-97-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kroese, D.P. and Scheinhardt, W.R.W. (1997) A Fluid Queue driven by a Fluid Queue. Technical Report TR-CTIT-97-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. Technical Report TR-CTIT-97-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Linnenbank, G.R.J. (1997) A Simulator and Analysor for Wireless MAC Protocols. Technical Report TR-CTIT-97-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nijenhuis, R.W. and Jonker, W. and Grefen, P.W.P.J. (1997) Supporting Telecom Business Processes by means of Workflow Management and Federated Databases. Technical Report TR-CTIT-97-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pos, A. and van Akkermans, J.M. and Top, J.L. (1997) Automatic Revision of Simulation Models. Technical Report TR-CTIT-97-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Postma, F.M. and Krol, T. and Molenkamp, E. (1997) Optimized Self-synchronizing Byzantine Agreement Protocols. Technical Report TR-CTIT-97-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Roos, N. (1997) On Resolving Conflicts Between Arguments. Technical Report TR-CTIT-97-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Scheinhardt, W.R.W. and Kroese, D.P. (1997) A system of fluid queues with feedback. Technical Report TR-CTIT-97-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Sinderen, M.J. and Ferreira Pires, L. (1997) Protocols versus Objects: Can Models for Telecommunications and Distributed Processing Coexist? Technical Report TR-CTIT-97-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sprenkels, R.A.M. (1997) Management of the SURFnet4 ATM Network. Technical Report TR-CTIT-97-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Springintveld, J. and Vaandrager, F.W. and D'Argenio, P.R. (1997) Testing Timed Automata. Technical Report TR-CTIT-97-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van der Veen, J.T. and Collis, B.A. (1997) Telematic Tools to Support Group Projects in Higher Education. Technical Report TR-CTIT-97-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Volman, C.J.A.M. and Jones, V.M. and van Sinderen, M.J. and Widya, I.A. and Michiels, E.F. (1997) Tele-education Process Modelling supported by The ODP Enterprise Viewpoint Language. Technical Report TR-CTIT-97-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

de Vries, A.P. (1997) Intelligent Television: A Testbed for Multimedia Information Filtering. Technical Report TR-CTIT-97-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

de Vries, A.P. and van der Veer, G.C. and Blanken, H.M. (1997) Let's talk about it: Dialogues with Multimedia Databases. Technical Report TR-CTIT-97-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ygge, F. and Akkermans, H. (1997) Power Load Management as a Computational Market. Technical Report TR-CTIT-97-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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

	CTIT Home > ... > CTIT Technical Reports > Technical Reports 1997
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 1997 Number of items: 38. Akkermans, H. and Ygge, F. (1997) Smart Software as Customer Assistant in Large-Scale Distributred Load Management. Technical Report TR-CTIT-97-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Akkermans, H. and Ygge, F. and Gustavsson, R. (1997) Homebots: Intelligent Decentralized Services for Energy. Technical Report TR-CTIT-97-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Asveld, P.R.J. and Nijholt, A. (1997) The Inclusion Problem for Some Subclasses of Context-Free Languages. Technical Report TR-CTIT-97-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van Bakel, B. and Boon, R.T. and Mars, N.J.I. and Nijhuis, J. and Oltmans, E. and van der Vet, P.E. (1997) Condorcet Annual Report. Technical Report TR-CTIT-97-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 de Boer, P.T. and Nicola, V.F. (1997) Hybrid Importance Sampling Estimation of Consecutive Cell Loss Probability. Technical Report TR-CTIT-97-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 de Boer, P.T. and Nicola, V.F. (1997) Hybrid Importance Sampling Estimation of Consecutive Cell Loss Pobability. Technical Report TR-CTIT-97-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Brinksma, H. and Nymeyer, A. (1997) Process Algebra and Performance Modelling. Technical Report TR-CTIT-97-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Castaneda, M.G.M. (1997) Overview 1996, PhD thesis and Technical Reports. Technical Report TR-CTIT-97-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 D'Argenio, P.R. (1997) Regular Processes and Timed Automata. Technical Report TR-CTIT-97-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97), 26-27 Jun 1997, Enschede, the Netherlands. pp. 1-16. Technical Report TR-CTIT-97-14. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625 D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The Bounded Retransmission Protocol must be on time! Technical Report TR-CTIT-97-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Grefen, P.W.P.J. and Vonk, J. and Boertjes, E.M. and Apers, P.M.G. (1997) Two-Layer Transaction Management for Workflow Management. Technical Report TR-CTIT-97-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Havinga, P.J.M. and Smit, G.J.M. (1997) Low Power Systems Design Techniques for Mobile Computers. Technical Report TR-CTIT-97-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Hoeksema, F.W. and van der Veen, J.T. and van Beijnum, B.J.F. (1997) A Methodical Approach to Performance Measurement Experiments: Measure and Measurement Specification. Technical Report TR-CTIT-97-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Hulstijn, J. (1997) Structured Information States - raising and resolving issues. Technical Report TR-CTIT-97-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Jones, V.M. (1997) Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation. Technical Report TR-CTIT-97-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Jonk, K.J. (1997) Design and implementation of an ATM Performance Measurement Tool. Technical Report TR-CTIT-97-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van de Kamp, I. and Pouw, C. (1997) Proceedings Teleleren Workshop, 31 januari 1997. Technical Report TR-CTIT-97-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Kroese, D.P. (1997) On the decay rates of buffers in continous flow lines. Technical Report TR-CTIT-97-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Kroese, D.P. (1997) Analysis of a Markov-modulated fluid tandem queue. Technical Report TR-CTIT-97-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Kroese, D.P. and Nicola, V.F. (1997) Efficient Simulation of Backlogs in Fluid Flow Lines. Technical Report TR-CTIT-97-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Kroese, D.P. and Scheinhardt, W.R.W. (1997) A Markov-modulated fluid system with two interacting reservoirs. Technical Report TR-CTIT-97-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Kroese, D.P. and Scheinhardt, W.R.W. (1997) A Fluid Queue driven by a Fluid Queue. Technical Report TR-CTIT-97-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. Technical Report TR-CTIT-97-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Linnenbank, G.R.J. (1997) A Simulator and Analysor for Wireless MAC Protocols. Technical Report TR-CTIT-97-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Nijenhuis, R.W. and Jonker, W. and Grefen, P.W.P.J. (1997) Supporting Telecom Business Processes by means of Workflow Management and Federated Databases. Technical Report TR-CTIT-97-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Pos, A. and van Akkermans, J.M. and Top, J.L. (1997) Automatic Revision of Simulation Models. Technical Report TR-CTIT-97-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Postma, F.M. and Krol, T. and Molenkamp, E. (1997) Optimized Self-synchronizing Byzantine Agreement Protocols. Technical Report TR-CTIT-97-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Roos, N. (1997) On Resolving Conflicts Between Arguments. Technical Report TR-CTIT-97-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Scheinhardt, W.R.W. and Kroese, D.P. (1997) A system of fluid queues with feedback. Technical Report TR-CTIT-97-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van Sinderen, M.J. and Ferreira Pires, L. (1997) Protocols versus Objects: Can Models for Telecommunications and Distributed Processing Coexist? Technical Report TR-CTIT-97-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Sprenkels, R.A.M. (1997) Management of the SURFnet4 ATM Network. Technical Report TR-CTIT-97-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Springintveld, J. and Vaandrager, F.W. and D'Argenio, P.R. (1997) Testing Timed Automata. Technical Report TR-CTIT-97-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van der Veen, J.T. and Collis, B.A. (1997) Telematic Tools to Support Group Projects in Higher Education. Technical Report TR-CTIT-97-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Volman, C.J.A.M. and Jones, V.M. and van Sinderen, M.J. and Widya, I.A. and Michiels, E.F. (1997) Tele-education Process Modelling supported by The ODP Enterprise Viewpoint Language. Technical Report TR-CTIT-97-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 de Vries, A.P. (1997) Intelligent Television: A Testbed for Multimedia Information Filtering. Technical Report TR-CTIT-97-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 de Vries, A.P. and van der Veer, G.C. and Blanken, H.M. (1997) Let's talk about it: Dialogues with Multimedia Databases. Technical Report TR-CTIT-97-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Ygge, F. and Akkermans, H. (1997) Power Load Management as a Computational Market. Technical Report TR-CTIT-97-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 This list was generated on Thu May 9 11:45:48 CEST 2013.