CTIT technical report series

A case against periodic jukebox scheduling / M.E. Lijding, F. Hanssen, P.G. Jansenschema:ProductModel A case study on adaptability problems of the separation of user interface and application semantics / M. Eversschema:ProductModel A compositional translation of stochastic automata into timed automata / Pedro R. D'Argenioschema:ProductModel A comprehensive model of tertiary-storage jukeboxes / M.E. Lijding, S. Mullender, P. Jansenschema:ProductModel A customer service management architecture for the internet / R.A.M. Sprenkels ... [et al.]schema:ProductModel A design-for-change approach: developing distributed applications from enterprise models / R.M. Dijkman ... [et al.]schema:ProductModel A Diffie-Hellman based key management scheme for hierarchical access control / A. Zych ... [et al.]schema:ProductModel A flexible real-time hierarchical multimedia archive / M.E. Lijding, P. Jansen, S. Mullenderschema:ProductModel A formal security analysis of an OSA/Parlay authentication interface / R. Corin ... [et al.]schema:ProductModel A formal semantics for UML activity diagrams : formalising workflow models / R. Eshuis, R. Wieringaschema:ProductModel A formally verified decentralized key management architecture for wireless sensor networks / Y.W. Law ... [et al.]schema:ProductModel A framework for analysis of B2B electronic contracting support / S. Angelov, P. Grefenschema:ProductModel A framework for E-services : a three-level approach towards process and data management / P. Grefen, H. Ludwig, S. Angelovschema:ProductModel A Java reference model of transacted memory for smart cards / E. Poll, P. Hartel, E. de Jongschema:ProductModel A methodical approach to performance measurement experiments : measure and measurement specification / F.W. Hoeksema, J.T. van der Veen, B.J. van Beijnumschema:ProductModel A probabilistic extension of UML statecharts : specification and verification / D.N. Jansen, H. Hermanns, J.P. Katoenschema:ProductModel A real-time network at home / F. Hanssen ... [et al.]schema:ProductModel A receiver-initiated WDM multicast tree construction protocol to support IP dense mode multicast routing in all-optical Lambda-switched networks / I. Niemegeers ... [et al.]schema:ProductModel A selectivity model for fragmented relations : evaluated for different standard data distributions / H.E. Blok ... [et al.]schema:ProductModel A selectivity model for fragmented relations in information retrieval / H.E. Blok ... [et al.]schema:ProductModel ... show all 304