CTIT University of Twente
Research Business & Innovation Publications About CTIT Intranet

Technical Reports 2004

Number of items: 57.

Andrade Almeida, J.P. and van Sinderen, M.J. and Ferreira Pires, L. (2004) The role of the RM-ODP computational viewpoint concepts in the MDA approach. In: 1st European Workshop on Model-Driven Architecture with Emphasis on Industrial Applications (MDA-IA 2004), 17-18 March 2004, Enschede, The Netherlands. pp. 43-51. CTIT Technical Report TR-CTIT-04-12. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
Asveld, P.R.J. (2004) Generating All Permutations by Context-Free Grammars in Chomsky Normal Form. Technical Report TR-CTIT-04-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2004) Comparative Branching-Time Semantics for Markov Chains. Technical Report TR-CTIT-04-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
ter Beek, M. and Lenzini, G. and Petrocchi, M. (2004) Team Automata for Security Analysis. Technical Report TR-CTIT-04-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2004) MoDeST: A compositional modeling formalism for real-time and stochastic systems. Technical Report TR-CTIT-04-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A.H. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. Technical Report TR-CTIT-04-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bossi, A. and Cocco, N. and Etalle, S. and Rossi, S. (2004) Declarative Semantics of Input Consuming Logic Programs. Technical Report TR-CTIT-04-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Botchev, M.A. and Golub, G.H. (2004) A class of nonsymmetric preconditioners for saddle point problems. Technical Report SCCM-04-14 Stanford's Scientific Computing and Computational Mathematics Program (SCCM), Stanford. ISSN 1381-3625
Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems - extended version. Technical Report TR-CTIT-04-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinkman, R. and Doumen, J.M. and Jonker, W. (2004) Using secret sharing for searching in encrypted data. Technical Report TR-CTIT-04-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinkman, R. and Feng, Ling and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2004) Efficient Tree Search in Encrypted Data. Technical Report TR-CTIT-04-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinksma, H. and Mader, A.H. (2004) On Verification Modelling of Embedded Systems. Technical Report TR-CTIT-04-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Bunningen, A.H. (2004) Context aware querying - Challenges for data management in ambient intelligence. Technical Report TR-CTIT-04-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Cheng, Jieyin and Chong, Chuen Ngen and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Nikolaus, S. (2004) STREAMTO: Streaming Content using a Tamper-Resistant Token. Technical Report TR-CTIT-04-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Choenni, R.S. and Blok, H.E. and Fokkinga, M.M. (2004) Extending the Relational Model with Uncertainty and Ignorance. Technical Report TR-CTIT-04-29, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Joosten, R. and Kleinhuis, G. (2004) Inter-library Service Brokerage in LicenseScript. Technical Report TR-CTIT-04-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Joosten, R. and Kleinhuis, G. (2004) Service Brokerage with Prolog. Technical Report TR-CTIT-04-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and Ren, B. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Corin, R.J. (2004) License Protection with a Tamper-Resistant Token. Technical Report TR-CTIT-04-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2004) Security Analysis of Parlay/OSA Framework. Technical Report TR-CTIT-04-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Etalle, S. (2004) A simple procedure for finding guessing attacks (Extended Abstract). Technical Report TR-CTIT-04-23, 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. (2004) Timed Model Checking of Security Protocols. Technical Report TR-CTIT-04-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Corin, R.J. and Etalle, S. and den Hartog, J.I. and Lenzini, G. and Staicu, I.S. (2004) A Logic for Auditing Accountability in Decentralized Systems. Technical Report TR-CTIT-04-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dijkman, R.M. and Dumas, M. (2004) Service-oriented Design: A Multi-viewpoint Approach. Technical Report TR-CTIT-04-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Eck, P.A.T. and Gordijn, J. and Wieringa, R.J. (2004) Value-based Design of Collaboration Processes for e-Commerce. Technical Report TR-CTIT-04-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ferreira Pires, L. and van Sinderen, M.J. and Guareis de Farias, C.R. and Andrade Almeida, J.P. (2004) Use of Models and Modelling Techniques for Service Development. Technical Report TR-CTIT-04-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Gavras, A. and Belaunde, M. and Ferreira Pires, L. and Andrade Almeida, J.P. (2004) Towards an MDA-based development methodology for distributed applications. In: 1st European Workshop on Model-Driven Architecture with Emphasis on Industrial Applications (MDA-IA 2004), 17-18 Mar 2004, Enschede, The Netherlands. pp. 71-81. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
Gnesi, S. and Lenzini, G. and Martinelli, F. (2004) Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Technical Report TR-CTIT-04-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hanssen, F.T.Y. and Jansen, P.G. and Scholten, J. and Hattink, T. (2004) RTnet: a real-time protocol for broadcast-capable networks. Technical Report TR-CTIT-04-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hanssen, F.T.Y. and Krikke, R. and Baron, B. and Jansen, P.G. and Scholten, J. (2004) Experimental implementation of a real-time token-based network protocol on a microcontroller. Technical Report TR-CTIT-04-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. Technical Report TR-CTIT-04-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
den Hartog, J.I. and de Vink, E.P. (2004) Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Technical Report TR-CTIT-04-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hofmeijer, T.J. and Dulman, S.O. and Jansen, P.G. and Havinga, P.J.M. (2004) DCOS, a real-time light-weight Data Centric Operating System. Technical Report TR-CTIT-04-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hordijk, W.T.B. and Krukkert, D. and Wieringa, R.J. (2004) The impact of architectural decisions on quality attributes of enterprise information systems: a survey of the design space. Technical Report TR-CTIT-04-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kavaldjiev, N.K. and Smit, G.J.M. (2004) An energy-efficient Network-on-Chip for a heterogeneous tiled reconfigurable Systems-on-Chip. Technical Report TR-CTIT-04-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. (2004) A Virtual Channel Router for On-chip Networks. Technical Report TR-CTIT-04-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Keijzer, A. and van Keulen, M. (2004) A Probabilistic Database Extension. Technical Report TR-CTIT-04-21, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Kurtev, I. and van den Berg, K.G. (2004) Unifying approach for model transformations in the MOF metamodeling architecture. In: Model-Driven Architecture with Emphasis on Industrial Applications, Enschede, the Netherlands. pp. 105-114. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2004) Survey and Benchmark of Block Ciphers for Wireless Sensor Networks. Technical Report TR-CTIT-04-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Law, Yee Wei and Hartel, P.H. and den Hartog, J.I. and Havinga, P.J.M. (2004) Link-layer Jamming Attacks on S-MAC. Technical Report TR-CTIT-04-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mader, A.H. (2004) Deriving Schedules for a Smart Card Personalisation System. Technical Report TR-CTIT-04-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Malchanau, A.V. (2004) User-Computer Interfaces for Scientific Communication: the Concept of Habitable Interfaces. Technical Report TR-CTIT-04-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mandjes, M.R.H. and van de Meent, R. (2004) Inferring traffic burstiness by sampling the buffer occupancy. Technical Report TR-CTIT-04-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van de Meent, R. and Pras, A. (2004) Assessing Unknown Network Traffic. Technical Report TR-CTIT-04-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nieberg, T. (2004) On Cyclic Plans for Scheduling a Smart Card Personalisation System. Technical Report TR-CTIT-04-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nijholt, A. (2004) Human and Virtual Agents Interacting in the Virtuality Continuum. Technical Report TR-CTIT-04-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Reidsma, D. and Jovanović, N. and Hofs, D.H.W. (2004) Designing Annotation Tools based on Properties of Annotation Problems. Technical Report TR-CTIT-04-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2004) Model Checking Infinite-State Markov Chains. Technical Report TR-CTIT-04-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Ruth, J. and Fokkinga, M.M. and van Keulen, M. (2004) The Dodo Query Flattening System. Technical Report TR-CTIT-04-41, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Scholten, J. and Jansen, P.G. (2004) Real-Time Communication in Wireless Home Networks. Technical Report TR-CTIT-04-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Scholten, J. and Jansen, P.G. and Hop, L. (2004) Routing in Wireless Multimedia Home Networks. Technical Report TR-CTIT-04-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Sinderen, M.J. and Ferreira Pires, L. (2004) Model-Driven Architecture with Emphasis on Industrial Applications. Technical Report TR-CTIT-04-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Smiljanic, M. and van Keulen, M. and Jonker, W. (2004) Defining the XML Schema Matching Problem. Technical Report TR-CTIT-04-17, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Tekinerdogan, B. and Moreira, A. and Arasjo, J. and Clements, P. (2004) Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design. Technical Report TR-CTIT-04-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Veldhuis, R.N.J. and Bazen, A.M. and Kauffman, J.A. and Hartel, P.H. (2004) Biometric verification based on grip-pattern recognition. Technical Report TR-CTIT-04-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wieringa, R.J. and van Eck, P.A.T. and Blanken, H.M. (2004) Architecture Alignment in a Large Government Organization: A Case Study. Technical Report TR-CTIT-04-18, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Zlatev, Z.V. and Diakov, N.K. and Pokraev, S.V. (2004) Construction of Negotiation Protocols for E-commerce Applications. Technical Report SEN-R0417 Center for Mathematics and Computer Science, Amsterdam. ISSN 1381-3625
Zlatev, Z.V. and van Eck, P.A.T. and Wieringa, R.J. (2004) Value-exchange patterns in business models of intermediaries that offer negotiation services. Technical Report TR-CTIT-04-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

This list was generated on Thu Dec 18 20:58:07 CET 2014.