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

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