CTIT technical report series

A calculus for timed automata / Pedro R. D'Argenio and Ed Brinksmaschema:ProductModel 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 comparison of RESTART implementations / Marnix J.J. Garvels and Dirk P. Kroeseschema: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 conceptual workflow specification language / Daniel K.C. Chan ... [et al.]schema:ProductModel A design-for-change approach: developing distributed applications from enterprise models / R.M. Dijkman ... [et al.]schema:ProductModel A development model for distributed information systems / M.K. Weger, H.M. Franken and C.A. Vissersschema:ProductModel A formal semantics for UML activity diagrams : formalising workflow models / R. Eshuis, R. Wieringaschema:ProductModel A framework for E-services : a three-level approach towards process and data management / P. Grefen, H. Ludwig, S. Angelovschema:ProductModel A general conservative extension theorem in process algebras with inequalities / Pedro R. D'Argenio and Chris Verhoefschema: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 and B.J.F. van Beijnumschema:ProductModel A probabilistic extension of UML statecharts : specification and verification / D.N. Jansen, H. Hermanns, J.P. Katoenschema: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 simple, visual mesh editor / Sz. Kissschema:ProductModel A simul[a]tor and analysor for wireless for MAC protocols / George R.J. Linnenbankschema:ProductModel A study of routing algorithms for multiparty connections in ATM / M.R. Unmehopaschema:ProductModel ... show all 496