CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

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 Mon Dec 5 07:27:58 CET 2016.