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