Technical Reports 1998

Number of items: 24.

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

de Barros Barbosa, C. and Ferreira Pires, L. and van Sinderen, M.J. (1998) Frameworks for protocol implementation. Technical Report TR-CTIT-98-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

de Boer, P.T. and Nicola, V.F. and van Ommeren, J.C.W. (1998) The remaining service time upon reaching a high level in M/G/1 queues. Technical Report TR-CTIT-98-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Boertjes, E.M. and Grefen, P.W.P.J. and Vonk, J. and Apers, P.M.G. (1998) An Architecture for Nested Transaction Support on Standard Database Systems. Technical Report TR-CTIT-98-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Bussel, J. and Winkelman, M. (1998) TETRA project - Simulation of the TETRA data communication features, Version 1.1. Technical Report TR-CTIT-98-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chimento, P.F. (1998) Deliverable 2: Tutorial on Internet Services for SURFnet4 Infrastructure Project 1998. Technical Report TR-CTIT-98-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems. Technical Report TR-CTIT-98-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Even, S.J. and Spelt, D. (1998) Verification of Compensation Requirements for the SEPIA Cooperative Authoring System. Technical Report TR-CTIT-98-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Garvels, M.J.J. and Kroese, D.P. (1998) A comparison of RESTART implementations. Technical Report TR-CTIT-98-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Grefen, P.W.P.J. and Ceri, S. and Sánchez, G. (1998) Transaction and Rule Support for Workflow Management - A Retrospective on the WIDE Architecture. Technical Report TR-CTIT-98-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Grefen, P.W.P.J. and Sikkel, K. and Wieringa, R.J. (1998) Two Case Studies of Subsystem Design for Extensible General-Purpose Software. Technical Report TR-CTIT-98-14, 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. (1998) Global Transaction Support: Formal Specification and Practical Application. Technical Report TR-CTIT-98-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Havinga, P.J.M. (1998) Energy efficiency of error correcting mechanisms for wireless communications. Technical Report TR-CTIT-98-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hiddink, G.W. (1998) Educational Multimedia Databases: Past and Present. Technical Report TR-CTIT-98-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Jansen, P.G. and Laan, R. (1998) Scheduling Techniques and Quality of Service of Real-time Kernels. Technical Report TR-CTIT-98-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Mullender, S.J. and Smit, G.J.M. and Havinga, P.J.M. and Helme, A. and Hartvigsen, G. and Fallmyr, T. and Stabell-Kulø, T. and Bartoli, A. and Rizzo, L. and Avvenuti, M. (1998) The MobyDick architecture. Technical Report TR-CTIT-98-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Rein, H. and Fokkinga, M.M. (1998) Protocol assuring Universal Language. Technical Report TR-CTIT-98-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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

van Sinderen, M.J. and Ferreira Pires, L. (1998) The Application of TINA in the Mesh Project. Technical Report TR-CTIT-98-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Sinderen, M.J. and Ferreira Pires, L. (1998) The application of TINA in Multimedia services for the electronic super highway. Technical Report TR-CTIT-98-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Spelt, D. and Even, S.J. (1998) An Engineering Approach to Atomic TransactionVerification: Use of a Simple Object Model to Achieve Semantics-basedReasoning at Compile-time. Technical Report TR-CTIT-98-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Spelt, D. and Even, S.J. (1998) Theorem Prover-based Analysis of Transactions on Object-Oriented Databases (Extended Abstract). Technical Report TR-CTIT-98-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sprenkels, R.A.M. and van der Waaij, B.D. and van Beijnum, B.J.F. and Pras, A. (1998) Results of the SURFnet4 management project 1997. Technical Report TR-CTIT-98-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. (1998) Advanced Object-Oriented Requirement Specification Methods. Technical Report TR-CTIT-98-04, 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 1998
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 1998 Number of items: 24. van Bakel, B. and Boon, R.T. and Oltmans, E. and Mars, N.J.I. and van der Vet, P.E. and Nijhuis, J. (1998) Condorcet Annual Report. Technical Report TR-CTIT-98-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 de Barros Barbosa, C. and Ferreira Pires, L. and van Sinderen, M.J. (1998) Frameworks for protocol implementation. Technical Report TR-CTIT-98-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 de Boer, P.T. and Nicola, V.F. and van Ommeren, J.C.W. (1998) The remaining service time upon reaching a high level in M/G/1 queues. Technical Report TR-CTIT-98-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Boertjes, E.M. and Grefen, P.W.P.J. and Vonk, J. and Apers, P.M.G. (1998) An Architecture for Nested Transaction Support on Standard Database Systems. Technical Report TR-CTIT-98-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van Bussel, J. and Winkelman, M. (1998) TETRA project - Simulation of the TETRA data communication features, Version 1.1. Technical Report TR-CTIT-98-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Chimento, P.F. (1998) Deliverable 2: Tutorial on Internet Services for SURFnet4 Infrastructure Project 1998. Technical Report TR-CTIT-98-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems. Technical Report TR-CTIT-98-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Even, S.J. and Spelt, D. (1998) Verification of Compensation Requirements for the SEPIA Cooperative Authoring System. Technical Report TR-CTIT-98-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Garvels, M.J.J. and Kroese, D.P. (1998) A comparison of RESTART implementations. Technical Report TR-CTIT-98-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Grefen, P.W.P.J. and Ceri, S. and Sánchez, G. (1998) Transaction and Rule Support for Workflow Management - A Retrospective on the WIDE Architecture. Technical Report TR-CTIT-98-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Grefen, P.W.P.J. and Sikkel, K. and Wieringa, R.J. (1998) Two Case Studies of Subsystem Design for Extensible General-Purpose Software. Technical Report TR-CTIT-98-14, 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. (1998) Global Transaction Support: Formal Specification and Practical Application. Technical Report TR-CTIT-98-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Havinga, P.J.M. (1998) Energy efficiency of error correcting mechanisms for wireless communications. Technical Report TR-CTIT-98-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Hiddink, G.W. (1998) Educational Multimedia Databases: Past and Present. Technical Report TR-CTIT-98-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Jansen, P.G. and Laan, R. (1998) Scheduling Techniques and Quality of Service of Real-time Kernels. Technical Report TR-CTIT-98-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Mullender, S.J. and Smit, G.J.M. and Havinga, P.J.M. and Helme, A. and Hartvigsen, G. and Fallmyr, T. and Stabell-Kulø, T. and Bartoli, A. and Rizzo, L. and Avvenuti, M. (1998) The MobyDick architecture. Technical Report TR-CTIT-98-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van Rein, H. and Fokkinga, M.M. (1998) Protocol assuring Universal Language. Technical Report TR-CTIT-98-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Reinders, I. (1998) Overview 1997 - PhD theses and Technical Reports. Technical Report TR-CTIT-98-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van Sinderen, M.J. and Ferreira Pires, L. (1998) The Application of TINA in the Mesh Project. Technical Report TR-CTIT-98-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 van Sinderen, M.J. and Ferreira Pires, L. (1998) The application of TINA in Multimedia services for the electronic super highway. Technical Report TR-CTIT-98-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Spelt, D. and Even, S.J. (1998) An Engineering Approach to Atomic TransactionVerification: Use of a Simple Object Model to Achieve Semantics-basedReasoning at Compile-time. Technical Report TR-CTIT-98-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Spelt, D. and Even, S.J. (1998) Theorem Prover-based Analysis of Transactions on Object-Oriented Databases (Extended Abstract). Technical Report TR-CTIT-98-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Sprenkels, R.A.M. and van der Waaij, B.D. and van Beijnum, B.J.F. and Pras, A. (1998) Results of the SURFnet4 management project 1997. Technical Report TR-CTIT-98-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Wieringa, R.J. (1998) Advanced Object-Oriented Requirement Specification Methods. Technical Report TR-CTIT-98-04, 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.