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

Technical Reports 2002

Number of items: 51.

Abelmann, L. and Chong, Chuen Ngen and Hartel, P.H. and Lodder, J.C. (2002) Design Rationale for Secure Probe Storage based on Patterned Magnetic Media. Technical Report TR-CTIT-02-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Angelov, S.A. and Grefen, P.W.P.J. (2002) An Approach to the Construction of Flexible B2B E-Contracting Processes. Technical Report TR-CTIT-02-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bach, W. and Dam, D. and Evers, L. and Jonker, Misha and Scholten, J. and Havinga, P.J.M. (2002) An Iterative Quality-based Localization Algorithm for Ad Hoc Networks. Technical Report TR-CTIT-02-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. Technical Report TR-CTIT-02-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Blok, H.E. and Choenni, R.S. and Wac, K.E. and Blanken, H.M. and Apers, P.M.G. (2002) A selectivity model for fragmented relations: Evaluated for different standard data distributions. Technical Report TR-CTIT-02-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and van Buuren, R. and Hartel, P.H. and Kleinhuis, G. (2002) Security Attributes Based Digital Rights Management. Technical Report TR-CTIT-02-05, 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. (2002) LicenseScript - A Language and Framework for Calculating Licenses on Information over Constrained Domains. Technical Report TR-CTIT-02-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and Peng, Zhonghong and Hartel, P.H. (2002) Secure Audit Logging with Tamper-Resistant Hardware. Technical Report TR-CTIT-02-29, 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. (2002) Using Trace Formulae for Security Protocol Design. Technical Report TR-CTIT-02-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Etalle, S. (2002) An Improved Constraint-Based System for the Verification of Security Protocols. Technical Report TR-CTIT-02-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Derks, W.L.A. and Grefen, P.W.P.J. (2002) Requirements and architecture for automatic setup and enactment of reliable cooperative services. Technical Report TR-CTIT-02-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dijkman, R.M. and Joosten, S.M.M. (2002) Deriving Use Case Diagrams from Business Process Models. Technical Report TR-CTIT-02-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dijkman, R.M. and Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. (2002) A Design-for-Change Approach: Developing Distributed Applications from Enterprise Models. Technical Report TR-CTIT-02-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dulman, S.O. and Havinga, P.J.M. and Hurink, J.L. (2002) Leader Election Protocol for Energy Efficient Mobile Sensor Networks (EYES). Technical Report TR-CTIT-02-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dulman, S.O. and Nieberg, T. and Havinga, P.J.M. and Hartel, P.H. (2002) Multipath Routing for Data Dissemination in Energy Efficient Sensor Networks. Technical Report TR-CTIT-02-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Grefen, P.W.P.J. (2002) A Taxonomy for Transactional Workflows. Technical Report TR-CTIT-02-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Grefen, P.W.P.J. and Angelov, S.A. (2002) On Deep e-Contracting. Technical Report TR-CTIT-02-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Grefen, P.W.P.J. and Ludwig, H. and Angelov, S.A. (2002) A Framework for E-services: a Three-Level Approach towards Process and Data Management. Technical Report TR-CTIT-02-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hanssen, F.T.Y. and Hartel, P.H. and Hattink, T. and Jansen, P.G. and Scholten, J. and Wijnberg, J. (2002) A Real-Time Ethernet Network at Home. Technical Report TR-CTIT-02-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Harkema, M. and Quartel, D.A.C. and Gijsen, B.M.M. and van der Mei, R.D. (2002) Performance Monitoring of Java Applications. Technical Report TR-CTIT-02-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hartel, P.H. and Muller, H.L. and Glaser, H. (2002) The Functional "C" experience. Technical Report TR-CTIT-02-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Henderson, N.J. and Papakostas, T.V. and White, N.M. and Hartel, P.H. (2002) Polymer Thick-Film Sensors: Possibilities for Smartcard Biometrics. Technical Report TR-CTIT-02-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Henderson, N.J. and White, N.M. and Veldhuis, R.N.J. and Hartel, P.H. and Slump, C.H. (2002) Sensing pressure for authentication. Technical Report TR-CTIT-02-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hiemstra, D. and van Leeuwen, D.A. (2002) Creating a Dutch testbed to evaluate the retrieval from textual databases. Technical Report TR-CTIT-02-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Holland, H.E. (2002) Evaluating MIB-II Implementations; A Comparison of Management Functionality Within Routers. Technical Report TR-CTIT-02-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hu, Jinmin and Grefen, P.W.P.J. (2002) Conceptual Framework and Architecture for Service Mediating Workflow Management. Technical Report TR-CTIT-02-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. Technical Report TR-CTIT-02-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, P.G. and Hanssen, F.T.Y. and Lijding, M.E.M. (2002) Early Quantum Task Scheduling. Technical Report TR-CTIT-02-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, P.G. and Hanssen, F.T.Y. and Mullender, S.J. (2002) ClockWork: a Real-Time Feasibility Analysis Tool. Technical Report TR-CTIT-02-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Keulen, M. and Vonk, J. and de Vries, A.P. and Flokstra, Jan and Blok, H.E. (2002) Moa: extensibility and efficiency in querying nested data. Technical Report TR-CTIT-02-19, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Kiss, S. (2002) Computer Animation for Articulated 3D Characters. Technical Report TR-CTIT-02-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Law, Yee Wei and Dulman, S.O. and Etalle, S. and Havinga, P.J.M. (2002) Assessing Security-Critical Energy-Efficient Sensor Networks. Technical Report TR-CTIT-02-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Law, Yee Wei and Etalle, S. and Hartel, P.H. (2002) Key Management with Group-Wise Pre-Deployed Keying and Secret Sharing Pre-Deployed Keying. Technical Report TR-CTIT-02-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Lijding, M.E.M. and Hanssen, F.T.Y. and Jansen, P.G. (2002) A Case Against Periodic Jukebox Scheduling. Technical Report TR-CTIT-02-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Lijding, M.E.M. and Mullender, S.J. and Jansen, P.G. (2002) JukeTools: A Toolbox for Implementing and Evaluating Jukebox Schedulers. Technical Report TR-CTIT-02-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Lijding, M.E.M. and Mullender, S.J. and Jansen, P.G. (2002) A Comprehensive Model of Tertiary-storage Jukeboxes. Technical Report TR-CTIT-02-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Morales, J.M. and Ferreira Pires, L. and van Sinderen, M.J. (2002) Model Driven Geo-Information System's Development. Technical Report TR-CTIT-02-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mulder, M.P. and Nijholt, A. (2002) Humour Research: State of Art. Technical Report TR-CTIT-02-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Poll, E. and Hartel, P.H. and de Jong, E.K. (2002) A Java Reference Model of Transacted Memory for Smart Cards. Technical Report TR-CTIT-02-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Pumareja, D.T. and Sikkel, K. (2002) An evolutionary approach to groupware implementation: the context of requirements engineering in the socio-technical frame. Technical Report TR-CTIT-02-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. (2002) On architectual support for behaviour refinement in distributed systems design. Technical Report TR-CTIT-02-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rosien, M.A.J. and Smit, G.J.M. and Krol, T. (2002) Generating a CDFG from C/C++ code. Technical Report TR-CTIT-02-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Salvador, M.R. and Heemstra de Groot, S.M. and Dey, D. (2002) Supporting PIM-SM in All-Optical Lambda-Switched Networks. Technical Report TR-CTIT-02-13, 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 Hartel, P.H. and Hattink, T. and Sundramoorthy, V. (2002) Multimedia QoS in low-cost Home Networks. Technical Report TR-CTIT-02-43, 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 Hattink, T. (2002) An In-Home Digital Network Architecture for Real-Time and Non-Real-Time Communication. Technical Report TR-CTIT-02-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Schoute, A.L. (2002) RoadPlan Manual version 3.1. Technical Report TR-CTIT-02-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Smiljanic, M. and Blanken, H.M. and van Keulen, M. and Jonker, W. (2002) Distributed XML Database Systems. Technical Report TR-CTIT-02-46, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Sundramoorthy, V. and Scholten, J. (2002) Challenges In the At Home Anywhere (@HA) Service Discovery Protcol. Technical Report TR-CTIT-02-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Vulic, N. (2002) An Overview of Wireless and Mobile Networks. Technical Report TR-CTIT-02-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Widya, I.A. and Konstantas, D. (2002) A Wave-guide Model for Packetized Media Streaming in Lossless Networks. Technical Report TR-CTIT-02-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zlatev, Z.V. (2002) Examination of the negotiation domain. Technical Report TR-CTIT-02-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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