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

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