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

Technical Reports 2003

Number of items: 56.

Andrade Almeida, J.P. and van Sinderen, M.J. and Ferreira Pires, L. and Wegdam, M. (2003) Handling QoS in MDA: a discussion on availability and dynamic reconfiguration. In: Workshop on Model Driven Architecture: Foundations and Application (MDAFA) 2003, 26-27 Jun 2003, Enschede, The Netherlands. pp. 91-96. CTIT Technical Report TR–CTIT–03–27. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. Technical Report TR-CTIT-03-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Berry, D. and Kazman, R. and Wieringa, R.J. (2003) Second International Workshop on From Software Requirements to Architectures (STRAW'03). Technical Report TR-CTIT-07-48, University of Waterloo, Waterloo. ISSN 1381-3625
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2003) Component Based Testing with ioco. Technical Report TR-CTIT-03-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bossi, A. and Etalle, S. and Rossi, S. and Smaus, J.G. (2003) Termination of Simply Model Logic Programs with Dynamic Scheduling. Technical Report TR-CTIT-03-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinkman, R. and Feng, Ling and Etalle, S. and Hartel, P.H. and Jonker, W. (2003) Experimenting with linear search in encrypted data. Technical Report TR-CTIT-03-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and Corin, R.J. and Etalle, S. and Hartel, P.H. and Jonker, W. and Law, Yee Wei (2003) LicenseScript: A Novel Digital Rights Language and its Semantics. Technical Report TR-CTIT-03-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and Corin, R.J. and Etalle, S. and Hartel, P.H. and Law, Yee Wei (2003) LicenseScript: A Novel Digital Rights Language. Technical Report TR-CTIT-03-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. (2003) Comparing Logic-based and XML-based Rights Expression Languages. Technical Report TR-CTIT-03-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and Law, Yee Wei and Etalle, S. and Hartel, P.H. (2003) Approximating Fair Use in LicenseScript. Technical Report TR-CTIT-03-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. (2003) How to pay in LicenseScript. Technical Report TR-CTIT-03-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Doumen, J.M. and Etalle, S. (2003) Analysing Password Protocol Security Against Off-line Dictionary Attacks. Technical Report TR-CTIT-03-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H. (2003) A Trace Logic for Local Security Properties. Technical Report TR-CTIT-03-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2003) On Modelling Real-time and Security properties of Distributed Systems (Extended Abstract). Technical Report TR-CTIT-03-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Malladi, S. and Alves-Foss, J. and Etalle, S. (2003) Guess what? Here is a new tool that finds some new guessing attacks. Technical Report TR-CTIT-03-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Di Pietro, R. and Mancini, L.V. and Law, Yee Wei and Etalle, S. and Havinga, P.J.M. (2003) LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. Technical Report TR-CTIT-03-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dillema, F.W. and Stabell-Kulø, T. (2003) Pesto Flavoured Security. Technical Report TR-CTIT-03-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Distefano, D.S. and Rensink, A. and Katoen, J.P. (2003) Who is pointing when to whom: on model-checking pointer structures. Technical Report TR-CTIT-03-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dulman, S.O. and Havinga, P.J.M. (2003) A Simulation Template for Wireless Sensor Networks. Technical Report TR-CTIT-03-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dulman, S.O. and van Hoesel, L.F.W. and Nieberg, T. and Havinga, P.J.M. (2003) Collaborative communication protocols for wireless sensor networks. Technical Report TR-CTIT-03-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dulman, S.O. and Nieberg, T. and Wu, Jian and Havinga, P.J.M. (2003) Trade-Off between Traffic Overhead and Reliability in Multipath Routing for Wireless Sensor Networks. Technical Report TR-CTIT-03-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dulman, S.O. and Wu, Jian and Havinga, P.J.M. (2003) An Energy Efficient Multipath Routing Algorithm for Wireless Sensor Networks. Technical Report TR-CTIT-03-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Guizzardi-Silva Souza, R. and Perini, A. and Dignum, V. (2003) Using intentional analysis to model knowledge management requirements in communities of practice. Technical Report TR-CTIT-03-53, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hanssen, F.T.Y. and van den Boom, J. and Jansen, P.G. and Scholten, J. (2003) Time synchronization for an Ethernet-based real-time token network. Technical Report TR-CTIT-03-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hanssen, F.T.Y. and Jansen, P.G. (2003) Real-time communication protocols: an overview. Technical Report TR-CTIT-03-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Harkema, M. and Quartel, D.A.C. and van der Mei, R.D. and Gijsen, B.M.M. (2003) JPMT: A Java Performance Monitoring Tool. Technical Report TR-CTIT-03-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hiemstra, D. and de Vries, A.P. and Blok, H.E. and van Keulen, M. and Jonker, W. and Kersten, M.L. (2003) CIRQUID: Complex Information Retrieval QUeries In a Database. Technical Report TR-CTIT-03-26, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
van Hoesel, L.F.W. and DalPont, L. and Havinga, P.J.M. (2003) Design of an autonomous decentralized MAC protocol for wireless sensor networks. Technical Report TR-CTIT-03-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Hoesel, L.F.W. and Dulman, S.O. and Havinga, P.J.M. and Kip, H.J. (2003) Design of a low-power testbed for Wireless Sensor Networks and verification. Technical Report TR-CTIT-03-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hospers, M. and Kroezen, E. and Nijholt, A. and op den Akker, H.J.A. and Heylen, D.K.J. (2003) An Agent-based Intelligent Tutoring System for Nurse Education. Technical Report TR-CTIT-03-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, P.G. and Mullender, S.J. (2003) Real-Time in Plan 9: a short Overview. Technical Report TR-CTIT-03-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, P.G. and Mullender, S.J. and Havinga, P.J.M. and Scholten, J. (2003) Lightweight EDF Scheduling with Deadline Inheritance. Technical Report TR-CTIT-03-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jovanović, N. (2003) Recognition of meeting actions using information obtained from different modalities -a semantic approach-. Technical Report TR-CTIT-03-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kavaldjiev, N.K. and Smit, G.J.M. (2003) A Survey of Efficient On-Chip Communications for SoC. Technical Report TR-CTIT-03-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kurtev, I. and van den Berg, K.G. (2003) A synthesis-based approach to transformations in an MDA software development process. In: First Workshop on Model Driven Architecture: Foundations and Applications, Enschede, the Netherlands. pp. 121-126. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
Laud, P. and Corin, R.J. (2003) Sound Computational Interpretation of Formal Encryption with Composed Keys. Technical Report TR-CTIT-03-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Law, Yee Wei and Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Corin, R.J. (2003) Licensing Structured Data with Ease. Technical Report TR-CTIT-03-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Law, Yee Wei and Corin, R.J. and Etalle, S. and Hartel, P.H. (2003) A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. Technical Report TR-CTIT-03-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Lijding, M.E.M. and Jansen, P.G. and Mullender, S.J. (2003) A Flexible Real-Time Hierarchical Multimedia Archive. Technical Report TR-CTIT-03-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van de Meent, R. and Pras, A. and Mandjes, M.R.H. and van den Berg, J.L. and Nieuwenhuis, L.J.M. (2003) Traffic Measurements for Link Dimensioning, A Case Study. Technical Report TR-CTIT-03-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mullender, S.J. and Jansen, P.G. (2003) Real Time in a Real Operating System. Technical Report TR-CTIT-03-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nieberg, T. and Dulman, S.O. and Havinga, P.J.M. and van Hoesel, L.F.W. and Wu, Jian (2003) Collaborative Algortihms for Communication in Wireless Sensor Networks. Technical Report TR-CTIT-03-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nijholt, A. (2003) Multimodality and Ambient Intelligence. Technical Report TR-CTIT-03-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nijholt, A. (2003) Humor and Embodied Conversational Agents. Technical Report TR-CTIT-03-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nijholt, A. and op den Akker, H.J.A. and de Jong, H. (2003) Language Interpretation and Generation for Football Commentary. Technical Report TR-CTIT-03-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2003) A Logic of Local Graph Shapes. Technical Report TR-CTIT-03-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2003) Model Driven Architecture: Foundations and Applications. Technical Report TR-CTIT-03-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Mank, W. and Zwikker, A. (2003) A Real-Time Multimedia Streaming Protocol for Wireless Networks. Technical Report TR-CTIT-03-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Mank, W. and Zwikker, A. (2003) Benchmarking for RTN, a Real-Time Variation on IEEE802.11. Technical Report TR-CTIT-03-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Scholten, J. and Jansen, P.G. and Hop, L. (2003) Communicating Personal Gadgets. Technical Report TR-CTIT-03-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Seesink, R.A. and Dierssen, W. and Kooij, N. and Schoute, A.L. and Poel, M. and Schepers, H.M. and Verschoor, T. (2003) Fast data sharing within a distributed, multithreaded control framework for robot teams. Technical Report TR-CTIT-03-54, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sundramoorthy, V. and Scholten, J. and Jansen, P.G. and Hartel, P.H. (2003) Service Discovery At Home. Technical Report TR-CTIT-03-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Theune, M. (2003) Natural Language Generation for dialogue: system survey. Technical Report TR-CTIT-03-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Turetayev, D. (2003) Nondeterminism in Stochastic Modeling. Technical Report TR-CTIT-03-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Weevers, I. and Kuipers, J. and Brugman, A. and Zwiers, J. and van Dijk, E.M.A.G. and Nijholt, A. (2003) The Virtual Driving Instructor: A Multi-agent Based System for Driving Instruction. Technical Report TR-CTIT-03-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wegdam, M. and Andrade Almeida, J.P. and van Sinderen, M.J. and Nieuwenhuis, L.J.M. (2003) Dynamic Reconfiguration for Middleware-Based Applications. Technical Report TR-CTIT-03-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

This list was generated on Mon Dec 5 07:27:53 CET 2016.