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, E. 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 Thu May 9 11:45:44 CEST 2013.

	CTIT Home > ... > CTIT Technical Reports > Technical Reports 2003
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 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, E. 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 Thu May 9 11:45:44 CEST 2013.