Technical Reports 2008

Number of items: 81.

Baarsma, H.E. and Bosman, M.G.C. and Hurink, J.L. (2008) Resource Management in Heterogeneous Wireless Sensor Networks. Technical Report TR-CTIT-08-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs). Technical Report TR-CTIT-08-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bahrepour, M. and Meratnia, N. and Havinga, P.J.M. (2008) Automatic Fire Detection: A Survey from Wireless Sensor Network Perspective. Technical Report TR-CTIT-08-73, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bolzoni, D. and Crispo, B. and Etalle, S. (2008) ATLANTIDES: Automatic Configuration for Alert Verification in Network Intrusion Detection Systems. Technical Report TR-CTIT-08-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bolzoni, D. and Etalle, S. (2008) Boosting Web Intrusion Detection Systems by Inferring Positive Signatures. Technical Report TR-CTIT-08-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. (2008) A New Secure Pairing Protocol using Biometrics. Technical Report TR-CTIT-08-63, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. (2008) Different Approaches on Stochastic Reachability as an Optimal Stopping Problem. Technical Report TR-CTIT-08-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Bujorianu, M.C. (2008) Towards a Formal Framework for Multidimensional Codesign. Technical Report TR-CTIT-08-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Reachability Analysis for Markovian Systems. Technical Report TR-CTIT-08-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Katoen, J.P. (2008) Symmetry Reduction For Stochastic Hybrid Systems. Technical Report TR-CTIT-08-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Abstractions of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Towards a General Theory of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) Uncertainty and Reconfigurability in Hilbertean Formal Methods. Technical Report TR-CTIT-08-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) A Randomized Model for Communicating Embedded Systems. Technical Report TR-CTIT-08-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) Formal Engineering Hybrid Systems: Semantic Underpinnings. Technical Report TR-CTIT-08-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) Styles in Heterogeneous Modelling With UML. Technical Report TR-CTIT-08-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. and Maharaj, S. (2008) Formal Testing of Correspondence Carrying Software. Technical Report TR-CTIT-08-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cao, Y. (2008) An information assistant system for the prevention of tunnel vision in crisis management. Technical Report TR-CTIT-08-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cao, Y. (2008) A psychology literature study on modality related issues for multimodal presentation in crisis management. Technical Report TR-CTIT-08-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Cleeff, A. and Wieringa, R.J. (2008) De-perimeterisation as a cycle: tearing down and rebuilding security perimeters. Technical Report TR-CTIT-08-65, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Czenko, M.R. and Doumen, J.M. and Etalle, S. (2008) Trust Management in P2P systems using Standard TuLiP. Technical Report TR-CTIT-08-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Czenko, M.R. and Etalle, S. (2008) LP with Flexible Grouping and Aggregates Using Modes. Technical Report TR-CTIT-08-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dimkov, T. and Tang, Qiang and Hartel, P.H. (2008) On the inability of existing security models to cope with data mobility in dynamic organizations. Technical Report TR-CTIT-08-57, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Durmaz Incel, O. and Jansen, P.G. and Mullender, S.J. (2008) MC-LMAC: A Multi-Channel MAC Protocol for Wireless Sensor Networks. Technical Report TR-CTIT-08-61, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2008) A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context. Technical Report TR-CTIT-08-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Eck, P.A.T. and Ponisio, M.L. (2008) IT Project Management from a Systems Thinking Perspective. Technical Report TR-CTIT-08-69, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Engelen, J.B.C. and Khatib, M.G. (2008) A ''Millipede'' scanner model - Energy consumption and performance. Technical Report TR-CTIT-08-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Erman-Tüysüz, A. and van Hoesel, L.F.W. and Wu, Jian and Havinga, P.J.M. (2008) Enabling Mobility in Heterogeneous Wireless Sensor Networks Cooperating with UAVs for Mission-Critical Management. Technical Report TR-CTIT-08-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Erman-Tüysüz, A. and Mutter, T.F. and van Hoesel, L.F.W. and Havinga, P.J.M. (2008) A Cross-Layered Communication Protocol for Load Balancing in Large Scale Multi-sink Wireless Sensor Networks. Technical Report TR-CTIT-08-70, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Evers, S. (2008) Exploiting sparsity and sharing in probabilistic sensor data models. Technical Report TR-CTIT-08-68, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Göknil, A. and Topaloglu, N.Y. and van den Berg, K.G. (2008) Operation Composition in Model Transformations with Complex Source Patterns. Technical Report TR-CTIT-08-60, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Gong, Zheng and Lai, X.J. and Chen, Kefei (2008) On the Design of Secure and Fast Double Block Length Hash Functions. Technical Report TR-CTIT-08-71, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Gong, Zheng and Long, Yu and Hong, Xuan and Chen, Kefei (2008) Practical Certificateless Aggregate Signatures From Bilinear Maps. Technical Report TR-CTIT-08-74, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Grigoriev, A. and van Loon, J. and Uetz, M.J. (2008) On the Complexity of the Highway Pricing Problem. Technical Report TR-CTIT-08-80, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Grigoriev, A. and Uetz, M.J. (2008) Scheduling Parallel Jobs with Time-Resource Tradeoff via Nonlinear Programming. Technical Report TR-CTIT-08-78, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow (with appendix). Technical Report TR-CTIT-08-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Heeren, W.F.L. (2008) User requirements for access to Dutch spoken audio archives. Technical Report TR-CTIT-08-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Heydenreich, B. and Müller, R. and Uetz, M.J. (2008) Mechanism Design for Decentralized Online Machine Scheduling. Technical Report TR-CTIT-08-79, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Heydenreich, B. and Müller, R. and Uetz, M.J. and Vohra, R. (2008) Characterization of Revenue Equivalence. Technical Report TR-CTIT-08-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hiemstra, D. (2008) Distributed Information Retrieval using Keyword Auctions. Technical Report TR-CTIT-08-55, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hordijk, W.T.B. and Ponisio, M.L. and Wieringa, R.J. (2008) Structured Review of Code Clone Literature. Technical Report TR-CTIT-08-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) A Type-and-Identity-based Proxy Re-Encryption Scheme and its Application in Healthcare. Technical Report TR-CTIT-08-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. Technical Report TR-CTIT-08-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Jongerden, M.R. and Haverkort, B.R.H.M. (2008) Battery Modeling. Technical Report TR-CTIT-08-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Keulen, M. and de Keijzer, A. (2008) Qualitative Effects of Knowledge Rules in Probabilistic Data Integration. Technical Report TR-CTIT-08-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Khatib, M.G. and Engelen, J.B.C. and Hartel, P.H. (2008) Shutdown Policies for MEMS-Based Storage Devices -- Analytical Models. Technical Report TR-CTIT-08-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kleppe, A.G. and Rensink, A. (2008) A Graph-Based Semantics for UML Class and Object Diagrams. Technical Report TR-CTIT-08-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kokkeler, A.B.J. and Pawelczak, P. and Budiarjo, I. and Heskamp, M. and Zhang, Qiwei (2008) Research on Cognitive Radio within the Freeband-AAF project. Technical Report TR-CTIT-09-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kulyk, O. and Wassink, I. and van der Vet, P.E. and van der Veer, G.C. and van Dijk, E.M.A.G. (2008) Sticks, balls or a ribbon? Results of a formative user study with bioinformaticians. Technical Report TR-CTIT-08-72, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kuntz, G.W.M. and Haverkort, B.R.H.M. (2008) Formal Dependability Engineering with MIOA. Technical Report TR-CTIT-08-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Chatterjea, S. and Jin, Jiong and Hanselmann, T. and Palaniswami, M. (2008) Energy-Efficient Data Acquisition By Adaptive Sampling for Wireless Sensor Networks. Technical Report TR-CTIT-08-77, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Moniava, G. and Gong, Zheng and Hartel, P.H. and Palaniswami, M. (2008) KALwEN: A New Practical and Interoperable Key Management Scheme for Body Sensor Networks. Technical Report TR-CTIT-08-67, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Li, Chen and Reichert, M. and Wombacher, A. (2008) Issues in Process Variants Mining. Technical Report TR-CTIT-08-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Li, Chen and Reichert, M. and Wombacher, A. (2008) Discovering Process Reference Models from Process Variants Using Clustering Techniques. Technical Report TR-CTIT-08-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Mader, A.H. and Marincic, J. and Wupper, H. (2008) Modelling Embedded Systems by Non-Monotonic Refinement. Technical Report TR-CTIT-08-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Mader, A.H. and Wupper, H. and Boon, M. and Marincic, J. (2008) A Taxonomy of Modelling Decisions for Embedded Systems Veri�?cation. Technical Report TR-CTIT-08-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marin-Perianu, R.S. and Hurink, J.L. and Hartel, P.H. (2008) A generalized clustering algorithm for dynamic wireless sensor networks. Technical Report TR-CTIT-08-56, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Zambon, Emmanuele and Etalle, S. and Overbeek, P. (2008) IT Confidentiality Risk Assessment for an Architecture-Based Approach. Technical Report TR-CTIT-08-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Zambon, Emmanuele and Houmb, S.H. and Sallhammar, K. and Etalle, S. (2008) Extended eTVRA vs. Security Checklist: Experiences in a Value-Web. Technical Report TR-CTIT-08-62, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Niculescu, A.I. and de Jong, F.M.G. (2008) Development of a speech recognition system for Spanish broadcast news. Technical Report TR-CTIT-08-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nunes Leal Franqueira, V. and van Keulen, M. (2008) Analysis of the NIST database towards the composition of vulnerabilities in attack scenarios. Technical Report TR-CTIT-08-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nunes Leal Franqueira, V. and Lopes, R.H.C. and van Eck, P.A.T. (2008) Multi-step Attack Modelling and Simulation (MsAMS) Framework based on Mobile Ambients. Technical Report TR-CTIT-08-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pinggera, J. and Zugal, S. and Weber, B. and Wild, W. and Reichert, M. (2008) Integrating Case-Based Reasoning with Adaptive Process Management. Technical Report TR-CTIT-08-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Reuderink, B. (2008) Games and Brain-Computer Interfaces: The State of the Art. Technical Report TR-CTIT-08-81, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Reuderink, B. and Poel, M. (2008) Robustness of the Common Spatial Patterns algorithm in the BCI-pipeline. Technical Report TR-CTIT-08-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Santana Tapia, R.G. and van Eck, P.A.T. and Daneva, M. (2008) Validating the domains of an inter-organizational business-IT alignment assessment instrument: A case study. Technical Report TR-CTIT-08-53, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Santana Tapia, R.G. and van Oene, L. (2008) Some empirical evidence on business-IT alignment processes in the public sector: A case study report. Technical Report TR-CTIT-08-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sedghi, S. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2008) Towards an Information Theoretic Analysis of Searchable Encryption (Extended Version). Technical Report TR-CTIT-08-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang (2008) Type-based Proxy Re-encryption and its Construction. Technical Report TR-CTIT-08-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang (2008) Revisit the Concept of PEKS: Problems and a Possible Solution. Technical Report TR-CTIT-08-54, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang (2008) On Using Encryption Techniques to Enhance Sticky Policies Enforcement. Technical Report TR-CTIT-08-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) Inter-domain Identity-based Proxy Re-encryption. Technical Report TR-CTIT-08-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Vyas, D.M. and Chisalita, C.M. and Dix, A.J. (2008) Dynamics of Affordances and Implications for Design. Technical Report TR-CTIT-08-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wegdam, M. and Plas, D.-J. (2008) Empowering users to control their privacy in context-aware system through interactive consent. Technical Report TR-CTIT-08-66, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Welberg, S.M. (2008) Vulnerability management tools for COTS software - A comparison. Technical Report TR-CTIT-08-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. (2008) Conceptual modeling in social and physical contexts. Technical Report TR-CTIT-08-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

de Wit, J.J. and Ponisio, M.L. (2008) Looking for Reasons behind Success in Dealing with Requirements Change. Technical Report TR-CTIT-08-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zarvić, N. (2008) Considering Structural Properties of Inter-organizational Network Fragments during Business-IT Alignment. Technical Report TR-CTIT-08-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zarvić, N. and Wieringa, R.J. and van Eck, P.A.T. (2008) On Quality Issues in Networked Value Constellations. Technical Report TR-CTIT-08-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zegeling, P.A. and Lagzi, I. and Izsák, F. (2008) Transition of liesegang precipitation systems: simulations with an adaptive grid pde method. Technical Report TR-CTIT-08-76, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zhang, Yang and Meratnia, N. and Havinga, P.J.M. (2008) Outlier Detection Techniques For Wireless Sensor Networks: A Survey. Technical Report TR-CTIT-08-59, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

This list was generated on Thu May 9 11:45:40 CEST 2013.