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

Technical Reports 2007

Number of items: 83.

Abdel Kader, R. and van Keulen, M. (2007) Overview of query optimization in XML database systems. Technical Report TR-CTIT-07-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Anggreeni, I. and van der Voort, M.C. (2007) Tracing the Scenarios in Scenario-Based Product Design: a study to support scenario generation. Technical Report TR-CTIT-07-70, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Asveld, P.R.J. (2007) Generating All Permutations by Context-Free Grammars in Greibach Normal Form. Technical Report TR-CTIT-07-83, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Asveld, P.R.J. (2007) Generating All Circular Shifts by Context-Free Grammars in Greibach Normal Form. Technical Report TR-CTIT-07-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baarsma, H.E. and Hurink, J.L. and Jansen, P.G. (2007) Statistical quality analysis of schedulers under soft-real-time constraints. Technical Report TR-CTIT-07-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bassil, S. and Reichert, M. and Bobrik, R. and Bauer, T. (2007) Access Control for Monitoring System-Spanning Business Processes. Technical Report TR-CTIT-07-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bauer, T. and Reichert, M. (2007) An Approach for Supporting Ad-hoc Modifications in Distributed Workflow Management Systems. Technical Report TR-CTIT-07-80, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bekooij, M.J.G. and Wiggers, M.H. and van Meerbergen, J. (2007) Efficient Buffer Capacity and Scheduler Setting Computation for Soft Real-Time Stream Processing Applications. Technical Report TR-CTIT-07-07, 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. (2007) Atomic Action Refinement in Model Based Testing. Technical Report TR-CTIT-07-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bijlsma, T. and Bekooij, M.J.G. and Smit, G.J.M. and Jansen, P.G. (2007) Omphale: Streamlining the Communication for Jobs in a Multi Processor System on Chip. Technical Report TR-CTIT-07-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bobrik, R. and Reichert, M. and Bauer, T. (2007) Parameterizable Views for Process Visualization. Technical Report TR-CTIT-07-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bodenstaff, L. and Ceravolo, P. and Fugazza, C. and Wombacher, A. (2007) Toward Semantics-aware Representation of Digital Business Processes. Technical Report TR-CTIT-07-90, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bodenstaff, L. and Wombacher, A. and Reichert, M. (2007) On Formal Consistency between Value and Coordination Models. Technical Report TR-CTIT-07-91, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Boneva, I.B. and Rensink, A. and Kurban, M.E. and Bauer, J. (2007) Graph Abstraction and Abstract Graph Transformation. Technical Report TR-CTIT-07-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Secure Ad-hoc Pairing with Biometrics: SAfE. Technical Report TR-CTIT-07-69, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Constructing practical Fuzzy Extractors using QIM. Technical Report TR-CTIT-07-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) From Watermarks to Fuzzy Extractors: a Practical Construction. Technical Report TR-CTIT-07-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Bunningen, A.H. and Feng, Ling and Fokkinga, M.M. and Apers, P.M.G. (2007) An Answer Explanation Model for Probabilistic Database Queries. Technical Report TR-CTIT-07-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chatterjea, S. and Nieberg, T. and Meratnia, N. and Havinga, P.J.M. (2007) A Distributed and Self-Organizing Scheduling Algorithm for Energy-Efficient Data Aggregation in Wireless Sensor Networks. Technical Report TR-CTIT-07-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Czenko, M.R. and Etalle, S. (2007) Core TuLiP. Technical Report TR-CTIT-07-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Czenko, M.R. and Etalle, S. and Li, Dongyi and Winsborough, W.H. (2007) An Introduction to the Role Based Trust Management Framework RT. Technical Report TR-CTIT-07-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dekker, M.A.C. and Crampton, J. and Etalle, S. (2007) RBAC Administration in Distributed Systems. Technical Report TR-CTIT-07-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dekker, M.A.C. and Etalle, S. (2007) Refinement for Administrative Policies. Technical Report TR-CTIT-07-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dekker, M.A.C. and den Hartog, J.I. and Etalle, S. (2007) Audit-based Compliance Control (AC2) for EHR Systems. Technical Report TR-CTIT-07-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dijkman, R.M. and Dirgahayu, T. and Quartel, D.A.C. (2007) The Adequacy of Languages for Representing Interaction Mechanisms. Technical Report TR-CTIT-07-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dirgahayu, T. and Quartel, D.A.C. and van Sinderen, M.J. (2007) Development of Transformations from Business Process Models to Implementations by Reuse. Technical Report TR-CTIT-07-82, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Doumen, J.M. (2007) Non-interactive fuzzy private matching. Technical Report TR-CTIT-07-45, 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. (2007) Initial Results for Quantifying AOP. Technical Report TR-CTIT-07-71, 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. (2007) Reasoning about Behavioral Conflicts between Aspects. Technical Report TR-CTIT-07-15, 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. (2007) Static and Dynamic Detection of Behavioral Conflicts between Aspects. Technical Report TR-CTIT-07-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Etalle, S. and Massacci, F. and Yautsiukhin, A. (2007) The Meaning of Logs. Technical Report TR-CTIT-07-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, L. and Havinga, P.J.M. and Kuper, J. (2007) Flexible Sensor Network Reprogramming for Logistics. Technical Report TR-CTIT-07-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, S. (2007) Composability of Markov Models for Processing Sensor Data. Technical Report TR-CTIT-07-91, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, S. and Fokkinga, M.M. and Apers, P.M.G. (2007) Composable Markov Building Blocks. Technical Report TR-CTIT-07-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Fehnker, A. and van Hoesel, L.F.W. and Mader, A.H. (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. Technical Report TR-CTIT-07-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Groesen, E.W.C. and Adytia, D. and Andonowati, A. and Klopman, G. (2007) Near coast tsunami waveguiding: simulations for various wave models. Technical Report TR-CTIT-07-93, LabMath-Indonesia, Bandung. ISSN 1381-3625
Hallerbach, A. and Bauer, T. and Reichert, M. (2007) Managing Process Variants in the Process Life Cycle. Technical Report TR-CTIT-07-87, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hartel, P.H. and Abelmann, L. (2007) Towards compliant data retention with probe storage on patterned media. Technical Report TR-CTIT-07-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
den Hartog, J.I. (2007) Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic. Technical Report TR-CTIT-07-53, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Haverkort, B.R.H.M. and Kuntz, G.W.M. (2007) Extending the Logic IM-SPDL with Impulse and State Rewards. Technical Report TR-CTIT-07-58, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Havinga, P.J.M. and Kauw-A-Tjoe, R.G. and Marin-Perianu, M. and Thalen, J.P. (2007) SensorShoe: Mobile Gait Analysis for Parkinson's Disease Patients. Technical Report TR-CTIT-07-63, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Havinga, W.K. and Bergmans, L.M.J. and Akşit, M. (2007) Prototyping and Composing Aspect Languages: using an Aspect Interpreter Framework. Technical Report TR-CTIT-07-74, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Heerde, H.J.W. and Anciaux, N.L.G. and Fokkinga, M.M. and Apers, P.M.G. (2007) Exploring personalized life cycle policies. Technical Report TR-CTIT-07-85, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hiemstra, D. and Rode, H. and Flokstra, Jan (2007) PF/Tijah Documentation. Technical Report TR-CTIT-07-77, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Huijbregts, M.A.H. and Ordelman, R.J.F. and de Jong, F.M.G. (2007) Speech-based Annotation of Heterogeneous Multimedia Content Using Automatic Speech Recognition. Technical Report TR-CTIT-07-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kassab, M. and Daneva, M. and Ormandjieva, O. (2007) Early Quantitative Assessment of Non-Functional Requirements. Technical Report TR-CTIT-07-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Keijzer, A. and van Keulen, M. (2007) User Feedback in Probabilistic XML. Technical Report TR-CTIT-07-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Khatib, M.G. and van der Zwaag, B.J. and Hartel, P.H. and Smit, G.J.M. (2007) Interposing Flash between Disk and DRAM to Save Energy for Streaming Workloads. Technical Report TR-CTIT-07-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Krilavičius, T. (2007) Study of Tools Interoperability. Technical Report TR-CTIT-07-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) SPDL Model Checking via Property-Driven State Space Generation. Technical Report TR-CTIT-07-59, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Law, Yee Wei and Doumen, J.M. and Palaniswami, M. (2007) Key Management Building Blocks for Wireless Sensor Networks. Technical Report TR-CTIT-07-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Li, Chen and Reichert, M. and Wombacher, A. (2007) On Measuring Process Model Similarity based on High-level Change Operations. Technical Report TR-CTIT-07-89, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mader, A.H. and Wupper, H. and Boon, M. (2007) The Construction of Verification Models for Embedded Systems. Technical Report TR-CTIT-07-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, M. and Havinga, P.J.M. (2007) D-FLER: A Distributed Fuzzy Logic Engine for Rule-based Wireless Sensor Networks. Technical Report TR-CTIT-07-54, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, M. and Meratnia, N. and Havinga, P.J.M. and Moreira Sá de Souza, L. and Müller, J. and Spiess, P. and Haller, S. and Riedel, T. and Decker, C. and Stromberg, G. (2007) Decentralized Enterprise Systems: A Multi-platform Wireless Sensor Networks Approach. Technical Report TR-CTIT-07-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, R.S. and Lombriser, C. and Havinga, P.J.M. and Scholten, J. and Tröster, G. (2007) Tandem: A Context-Aware Method for Spontaneous Clustering of Dynamic Wireless Sensor Nodes. Technical Report TR-CTIT-07-66, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, R.S. and Marin-Perianu, M. and Havinga, P.J.M. and Scholten, J. (2007) Movement-based Group Awareness with Wireless Sensor Networks. Technical Report TR-CTIT-07-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2007) Cluster-based service discovery for heterogeneous wireless sensor networks. Technical Report TR-CTIT-07-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marincic, J. and Mader, A.H. and Wieringa, R.J. (2007) Capturing Assumptions while Designing a Verification Model for Embedded Systems. Technical Report TR-CTIT-07-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marincic, J. and Wupper, H. and Mader, A.H. and Wieringa, R.J. (2007) Obtaining Formal Models through Non-Monotonic Refinement. Technical Report TR-CTIT-07-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mutschler, B. and Reichert, M. (2007) Simulation Models for Analyzing the Dynamic Costs of Process-aware Information Systems. Technical Report TR-CTIT-07-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mutschler, B. and Zarvić, N. and Reichert, M. (2007) A Survey on Economic-driven Evaluations of Information Technology. Technical Report TR-CTIT-07-21, 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. (2007) An Evolutionary Approach for Learning Attack Specifications in Network Graphs. Technical Report TR-CTIT-07-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ponisio, M.L. and Sikkel, K. and Riemens, L. (2007) Inter-Organisational System Coordination: the e-Customs Case Study. Technical Report TR-CTIT-07-57, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ponisio, M.L. and Sikkel, K. and Vermeulen, E. and Poort, E. and van Megen, I. (2007) Structures to Effectively Share Architectural Knowledge. Technical Report TR-CTIT-07-67, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Poppe, R.W. (2007) Evaluating Example-based Pose Estimation: Experiments on the HumanEva Sets. Technical Report TR-CTIT-07-72, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Reuderink, B. (2007) Fusion for Audio-Visual Laughter Detection. Technical Report TR-CTIT-07-84, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rode, H. and Serdyukov, P. and Hiemstra, D. and Zaragoza, H. (2007) Entity Ranking on Graphs: Studies on Expert Finding. Technical Report TR-CTIT-07-81, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Santana Tapia, R.G. and Daneva, M. and van Eck, P.A.T. (2007) Developing an inter-enterprise alignment maturity model: research challenges and solutions. Technical Report TR-CTIT-07-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Santana Tapia, R.G. and Zarvić, N. (2007) Formalization of the partnering structure for networked businesses. Technical Report TR-CTIT-07-73, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sent, D. and Van der Gaag, L.C. (2007) Enhancing Automated Test Selection in Probabilistic Networks. Technical Report TR-CTIT-07-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sent, D. and Van der Gaag, L.C. (2007) On the Behaviour of Information Measures for Test Selection. Technical Report TR-CTIT-07-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sundramoorthy, V. and Hartel, P.H. and Scholten, J. (2007) A Taxonomy of Self-configuring Service Discovery Systems. Technical Report TR-CTIT-07-88, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Weber, B. and Reichert, M. (2007) Keeping the Cost of Process Change Low through Refactoring. Technical Report TR-CTIT-07-86, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Weber, B. and Rinderle, S.B. and Reichert, M. (2007) Change Support in Process-Aware Information Systems - A Pattern-Based Analysis. Technical Report TR-CTIT-07-76, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Weber, B. and Rinderle, S.B. and Reichert, M. (2007) Identifying and Evaluating Change Patterns and Change Support Features in Process-Aware Information Systems. Technical Report TR-CTIT-07-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wieringa, R.J. and Heerkens, J.M.G. (2007) Designing requirements engineering research. Technical Report TR-CTIT-08-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wiggers, M.H. and Bekooij, M.J.G. and Smit, G.J.M. (2007) Modelling Run-Time Arbitration by Latency-Rate Servers in Dataflow Graphs. Technical Report TR-CTIT-07-65, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zambon, Emmanuele and Bolzoni, D. and Etalle, S. and Salvato, M. (2007) Model-Based Mitigation of Availability Risks. Technical Report TR-CTIT-07-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zambon, Emmanuele and Bolzoni, D. and Etalle, S. and Salvato, M. (2007) A model supporting Business Continuity auditing & planning in Information Systems. Technical Report TR-CTIT-07-17, 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. (2007) Checking the Alignment of Value-based Business Models and IT Functionality. Technical Report TR-CTIT-07-78, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zhang, Yang and Meratnia, N. and Havinga, P.J.M. (2007) A taxonomy framework for unsupervised outlier detection techniques for multi-type data sets. Technical Report TR-CTIT-07-79, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Zwaag, B.J. and Khatib, M.G. and Hartel, P.H. (2007) How migrating 0.0001% of address space saves 12% of energy in hybrid storage. Technical Report A4TR-2007.1, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

This list was generated on Thu Sep 18 22:15:11 CEST 2014.