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

Technical Reports 2005

Number of items: 72.

Akşit, M. and Bézivin, J. and Roubtsova, E. (2005) Aspect-based and Model-based Separation of Concerns in Software Systems. Technical Report TR-CTIT-05-56, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Andova, S. and Willemse, T.A.C. (2005) Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability. Technical Report TR-CTIT-05-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Asveld, P.R.J. (2005) Generating All Circular Shifts by Context-Free Grammars in Chomsky Normal Form. Technical Report TR-CTIT-05-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baarda, M. and Jones, V.M. and Stemerding, D. (2005) BAN-based m-health services: experiences and prospects. Technical Report TR-CTIT-05-67, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling Lacquer Production by Reachability Analysis -- A Case Study. Technical Report TR-CTIT-05-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Conformance Testing. Technical Report TR-CTIT-05-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Testing with UIOCO. Technical Report TR-CTIT-05-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bistarelli, S. and Cervesato, I. and Lenzini, G. and Martinelli, F. (2005) Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Technical Report TR-CTIT-05-61, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bolzoni, D. and Zambon, Emmanuele and Etalle, S. and Hartel, P.H. (2005) Poseidon: A 2-tier Anomaly-based Intrusion Detection System. Technical Report TR-CTIT-05-53, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bonino da Silva Santos, L.O. and Guizzardi-Silva Souza, R. and van Sinderen, M.J. (2005) Agent-Oriented Approach to Develop Context-Aware Applications: A Case Study on Communities of Practice. Technical Report TR-CTIT-05-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brandán Briones, L. and Brinksma, H. (2005) Testing multi input-output real-time systems (Extended Version). Technical Report TR-CTIT-05-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinkman, R. and Schoenmakers, B. and Doumen, J.M. and Jonker, W. (2005) Experiments With Queries Over Encrypted Data Using Secret Sharing. Technical Report TR-CTIT-05-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinksma, H. and Krilavičius, T. (2005) Behavioural Hybrid Process Calculus. Technical Report TR-CTIT-05-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. Technical Report TR-CTIT-05-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Buhan, I.R. and Bazen, A.M. and Hartel, P.H. and Veldhuis, R.N.J. (2005) A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems. Technical Report TR-CTIT-05-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Buhan, I.R. and Hartel, P.H. (2005) The state of the art in abuse of biometrics. Technical Report TR-CTIT-05-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. (2005) An Audit Logic for Accountability. Technical Report TR-CTIT-05-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Cederquist, J.G. and Corin, R.J. and Torabi Dashti, M. (2005) On the quest for impartiality: Design and Analysis of a fair non-repudiation protocol. Technical Report TR-CTIT-05-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Cederquist, J.G. and Torabi Dashti, M. (2005) An Intruder Model for Verifying Termination in Security Protocols. Technical Report TR-CTIT-05-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chong, Chuen Ngen and Corin, R.J. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Law, Yee Wei and Tokmakoff, A. (2005) LicenseScript: A Logical Language for Digital Rights Management. Technical Report TR-CTIT-05-09, 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. (2005) A Formal Security Analysis of an OSA/Parlay Authentication Interface. Technical Report TR-CTIT-05-62, 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. (2005) Timed Analysis of Security Protocols. Technical Report TR-CTIT-05-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Czenko, M.R. and Tran, H.M. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and den Hartog, J.I. (2005) Nonmonotonic Trust Management for P2P Applications. Technical Report TR-CTIT-05-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durmaz Incel, O. and van Hoesel, L.F.W. and Jansen, P.G. and Havinga, P.J.M. (2005) Impact of Network Density on Bandwidth Resource Management in WSN. Technical Report TR-CTIT-05-43, 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. (2005) Formal model for SECRET. Technical Report TR-CTIT-05-74, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Bergmans, L.M.J. and Güleşir, G. and Nagy, I. (2005) Towards an Expressive and Scalable Framework for expressing Join Point Models. Technical Report TR-CTIT-05-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Staijen, T. and Bergmans, L.M.J. and Akşit, M. (2005) Reasoning About Semantic Conflicts Between Aspects. Technical Report TR-CTIT-05-73, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Etalle, S. and Winsborough, W.H. (2005) Integrity Constraints in Trust Management. Technical Report TR-CTIT-05-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, L. and Bijl, M.J.J. and Marin-Perianu, M. and Marin-Perianu, R.S. and Havinga, P.J.M. (2005) Wireless Sensor Networks and Beyond: A Case Study on Transport and Logistics. Technical Report TR-CTIT-05-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Guizzardi, G. and Ferreira Pires, L. and van Sinderen, M.J. (2005) An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Approprateness of Modeling Languages. Technical Report TR-CTIT-05-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Guizzardi, G. and Wagner, G. (2005) Towards Ontological Foundations for Agent Modeling Concepts using UFO. Technical Report TR-CTIT-05-16, 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 Mullender, S.J. (2005) RTnet: a distributed real-time protocol for broadcast-capable networks. Technical Report TR-CTIT-05-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hartel, P.H. (2005) A trace semantics for Positive Core XPath. Technical Report TR-CTIT-05-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Heckel, R. and König, B. and Rensink, A. (2005) Graph Transformation for Verification and Concurrency. Technical Report TR-CTIT-05-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hiemstra, D. and Mihajlovic, V. (2005) A database approach to information retrieval: The remarkable relationship between language models and region models. Technical Report TR-CTIT-05-35, 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. (2005) AmbientRT - real time system software support for data centric sensor networks. Technical Report TR-CTIT-05-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jacobs, J.W.M. and Bond, W. and Pouls, R. and Smit, G.J.M. (2005) High Volume Colour Image Processing with Massively Parallel Embedded Processors. Technical Report TR-CTIT-05-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jones, V.M. and Karagiannis, G. and Heemstra de Groot, S.M. (2005) Ad hoc networking and ambient intelligence to support future disaster response. Technical Report TR-CTIT-05-70, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jones, V.M. and Rensink, A. and Brinksma, H. (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. Technical Report TR-CTIT-05-66, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jones, V.M. and Saranummi, N. (2005) MOSAIC vision and scenarios for mobile collaborative work related to health and wellbeing. Technical Report TR-CTIT-05-68, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Jong, E.K. and Hartel, P.H. and Peyret, P. and Cattaneo, P. (2005) Java Card: An analysis of the most successful smart card operating system. Technical Report TR-CTIT-05-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. and Zapreev, I.S. (2005) Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. Technical Report TR-CTIT-05-52, 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. (2005) Stream-processing pipelines: processing of streams on multiprocessor architecture. Technical Report TR-CTIT-05-13, 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. and Wolkotte, P.T. (2005) A Virtual Channel Network-on-Chip for GT and BE traffic. Technical Report TR-CTIT-05-55, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kavaldjiev, N.K. and Smit, G.J.M. and Wolkotte, P.T. and Jansen, P.G. (2005) Routing of guaranteed throughput traffic in a network-on-chip. Technical Report TR-CTIT-05-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kaya, O.S. (2005) A Glance at Peer to Peer Systems. Technical Report TR-CTIT-05-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kaya, O.S. and Durmaz Incel, O. and Dulman, S.O. and Gemesi, R. and Jansen, P.G. and Havinga, P.J.M. (2005) Using TinyOS Components for the Design of an Adaptive Ubiquitous System. Technical Report TR-CTIT-05-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Keijzer, A. and van Keulen, M. (2005) Information Integration; The process of integration, evolution and versioning. Technical Report TR-CTIT-05-58, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
de Keijzer, A. and van Keulen, M. (2005) Rule-based Information Integration. Technical Report TR-CTIT-05-59, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Klinger, S. (2005) The Haskell Programmer's Guide to the IO Monad -- Don't Panic. Technical Report TR-CTIT-05-54, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2005) Benchmarking Block Ciphers for Wireless Sensor Networks (Extended Abstract). Technical Report TR-CTIT-05-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Law, Yee Wei and Hartel, P.H. and Etalle, S. and Havinga, P.J.M. and Di Pietro, R. and Mancini, L.V. (2005) Overview of Security Research in EYES. Technical Report TR-CTIT-05-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, R.S. and Hartel, P.H. and Scholten, J. (2005) A Classification of Service Discovery Protocols. Technical Report TR-CTIT-05-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Martinez, J.M. and Haverkort, B.R.H.M. (2005) CSL Model Checking of Deterministic and Stochastic Petri Nets. Technical Report TR-CTIT-05-63, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mihajlovic, V. and Blok, H.E. and Hiemstra, D. and Apers, P.M.G. (2005) Score Region Algebra: Building a Transparant XML-IR Database. Technical Report TR-CTIT-05-60, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mihajlovic, V. and Hiemstra, D. and Blok, H.E. and Apers, P.M.G. (2005) Utilizing Structural Knowledge for Information Retrieval in XML Databases. Technical Report TR-CTIT-05-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Moisl, H. and Jones, V.M. (2005) Cluster Analysis of the Newcastle Electronic Corpus of Tyneside English: A Comparison of Methods. Technical Report TR-CTIT-05-65, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Muthukrishnan, K. and Lijding, M.E.M. and Havinga, P.J.M. (2005) Towards Smart Surroundings: Enabling Techniques and Technologies for Localization. Technical Report TR-CTIT-05-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Muthukrishnan, K. and Meratnia, N. and Lijding, M.E.M. (2005) FLAVOUR: Friendly Location-aware conference Assistant with priVacy Observant architectURe. Technical Report TR-CTIT-05-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Otterlo, M. (2005) A Survey of Reinforcement Learning in Relational Domains. CTIT Technical Report series TR-CTIT-05-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Poppe, R.W. and Poel, M. (2005) Example-based pose estimation in monocular images using compact fourier descriptors. CTIT Technical Report series TR-CTIT-05-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Distefano, D.S. (2005) Abstract Graph Transformation. Technical Report TR-CTIT-05-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Vogler, W. (2005) Fair Testing. Technical Report TR-CTIT-05-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rinderle, S.B. and Wombacher, A. and Reichert, M. (2005) On the Controlled Evolution of Process Choreographies. Technical Report TR-CTIT-05-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Saranummi, N. and Jones, V.M. (2005) MOSAIC roadmap for mobile collaborative work related to health and wellbeing. Technical Report TR-CTIT-05-69, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Slagter, R.J. and Biemans, M.C.M. and Jones, V.M. (2005) Service Orchestration for Collaboration Patterns. Technical Report TR-CTIT-05-71, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sundramoorthy, V. and van de Glind, G.J. and Hartel, P.H. and Scholten, J. (2005) The Performance of a Second Generation Service Discovery Protocol In Response to Message Loss. Technical Report TR-CTIT-05-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sundramoorthy, V. and Hartel, P.H. and Scholten, J. (2005) On Consistency Maintenance In Service Discovery. Technical Report TR-CTIT-05-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sundramoorthy, V. and Tan, C. and Hartel, P.H. and den Hartog, J.I. and Scholten, J. (2005) Functional Principles of Registry-based Service Discovery. Technical Report TR-CTIT-05-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wiggers, M.H. and Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. (2005) Architecture Design Space Exploration for Streaming Applications Through Timing Analysis. Technical Report TR-CTIT-05-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wolkotte, P.T. and Smit, G.J.M. and Kavaldjiev, N.K. and Becker, J.E. and Becker, J. (2005) Energy Model of Networks-on-Chip and a Bus. Technical Report TR-CTIT-05-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zych, A.K. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2005) A Diffie-Hellman based Key Management Scheme for Hierarchical Access Control. Technical Report TR-CTIT-05-57, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

This list was generated on Fri Dec 9 07:07:31 CET 2016.