1. 1999
  2. Modeling and verification using XTG and PMC

    Burns, A., Lutje Spelberg, R. F., Toetenel, W. J. & Vink, T. 1999 ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 251-258 8 p.

    Research output: Scientific - peer-reviewConference contribution

  3. Modellen ontoereikend voor goed kostenbeheer

    Klompé, R. & van den Brink, S. 1999 In : Automatisering Gids. 43, p. 23-24 2 p.

    Research output: ProfessionalArticle

  4. Modelleren is de kunst: het wat en hoe van modelleren in workflowland

    van der Meer, K. & van Reijswoud, V. E. 1999 In : Workflow Magazine. 5, 3, p. 9-12 4 p.

    Research output: ProfessionalArticle

  5. Modellering van de systeemarchitectuur

    Dahanayake, A. N. W. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & ACM Oosten, V. (eds.). Arnhem: Koninklijke PBNA, p. 994-1005

    Research output: ProfessionalChapter

  6. Mutimodal user interface management

    Sletterink, B., Medl, A., Marsic, I. & Flanagan, J. L. 1999 HCI International'99: proceedings. HJ Bullinger & PH Vossen (eds.). Stuttgard: Fraunhöfer IRB, p. 67-68 2 p.

    Research output: Scientific - peer-reviewConference contribution

  7. Myths about the bisection width and channel utilization: a search for sharp bounds on performance

    Aronson, L. D. 1999 ASCI '99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 235-242 8 p.

    Research output: Scientific - peer-reviewConference contribution

  8. National research and education networks: analysis of management issues

    Galagan, D. & Looijen, M. 1999 INET'99 [http://www.isoc.org/inet99/proceedings]. p. 1-14 14 p.

    Research output: ScientificConference contribution

  9. New method of improving software safety in mission-critical real-time systems

    Anderson, E., van Katwijk, J. & Zalewski, J. 1999 System safety at the dawn of a new millennium: proceedings. Unionville: System Safety Society, p. 587-596 10 p.

    Research output: Scientific - peer-reviewConference contribution

  10. On the complexity of list scheduling algorithms for distributed-memory systems

    Radulescu, A. & van Gemund, A. J. C. 1999 Conference proceedings. New York: Association for Computing Machinery (ACM), p. 68-75 8 p.

    Research output: Scientific - peer-reviewConference contribution

  11. Ontwerpen, construeren en onderhouden

    Dietz, J. L. G. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 966-979

    Research output: ProfessionalChapter

  12. Parallel programmeren

    Sips, H. J. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 761-771

    Research output: ProfessionalChapter

  13. Parametric model-checking in PMC

    Bandini, G., Lutje Spelberg, R. F. & Toetenel, W. J. 1999 NWPT'99: proceedings (Technical report 1999-008). B Victor & Wang Yi (eds.). Uppsala: Uppsala University: Department of Information Technology, p. 14-15 2 p.

    Research output: ScientificConference contribution

  14. Procesmatig werken laat organisatie leren: hoge verandertempo dwingt af

    de Jong, W. 1999 In : IT Beheer Praktijkjournaal. 4, 10, p. 7-8 2 p.

    Research output: ProfessionalArticle

  15. Real-time signal processing in a collision avoidance radar system using parallel computing

    Reijns, G. L., van Gemund, A. J. C., Schier, J. & Swart, P. J. F. 1999 High-performance computing and networking: proceedings (Lecture notes in computer science 1593). P Sloot, M Bubak, A Hoekstra & B Hertzberger (eds.). Berlin: Springer, p. 23-32 10 p.

    Research output: Scientific - peer-reviewConference contribution

  16. Real-time signal processing in a collision avoidance radar system using parallel computing

    Reijns, G. L., van Gemund, A. J. C., Schier, J. & Swart, P. J. F. 1999 High-performance computing and networking (Lecture notes in computer science 1593). P Sloot, A Hoekstra & B Hertzberger (eds.). Berlin: Springer, p. 23-32 10 p.

    Research output: Scientific - peer-reviewConference contribution

  17. Recovering from inconsistency: a general framework for theory recovery

    Witteveen, C. & van der Hoek, W. 1999 WAIT '99. S.l.: s.n., p. 37-50 14 p.

    Research output: Scientific - peer-reviewConference contribution

  18. Redundancy and ambiguity in multimodal human computer interaction

    Rothkrantz, L. J. M. & André, M. 1999 Euromedia'99: featuring webtec-mediatec, comtec-aptec. Proceedings. W Hahn, E Walther-Klaus & J Knop (eds.). Delft: Society for Computer Simulation International, p. 106-111 6 p.

    Research output: Scientific - peer-reviewConference contribution

  19. Risicomanagement

    Spruit, M. E. M. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1246-1457

    Research output: ProfessionalChapter

  20. Risk analysis on internet connection

    Spruit, M. E. M. & Samwel, P. H. 1999 Information security management & small systems security: IFIP TC11 WG11.1/WG11.2. JHP Eloff, L Labuschagne, R Solms, V. & J Verschuren (eds.). Boston: Kluwer, p. 89-102 14 p.

    Research output: Scientific - peer-reviewConference contribution

  21. SIMA: standard interprom management approach

    van Hemmen, L. & Klompé, R. 1999 IT beheer jaarboek 1999: het standaardwerk voor IT service management. J Bon, V. (ed.). Den Haag: Ten Hagen & Stam, p. 57-58

    Research output: ProfessionalChapter

  22. SMART: a constructional architecture for information systems

    Dietz, J. L. G. 1999 ICT architecture in the BeNeLux 1999. H Bruin, D. (ed.). Amsterdam: Vrije Universiteit, p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

  23. Simulation as evaluation tool in IT service management

    de Jong, W. & Looijen, M. 1999 Unknown. A Brown & D Remenyi (eds.). Uxbridge: Brunel University, p. 25-30 6 p.

    Research output: Scientific - peer-reviewConference contribution

  24. Software architecture and Java beans

    Stuurman, S. 1999 WICSA1. P Donohoe (ed.). Boston: Kluwer, p. 183-200 18 p.

    Research output: Scientific - peer-reviewConference contribution

  25. Software engineering

    van Katwijk, J. & Toetenel, W. J. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1005-1018

    Research output: ProfessionalChapter

  26. Software engineering for scalable distributed applications

    van Steen, M., van der Zijden, S. & Sips, H. J. 1999 Compsac 98: proceedings. Los Alamitos: IEEE Computer Society, p. 285-293 9 p.

    Research output: Scientific - peer-reviewConference contribution

  27. Softwareontwerp en -realisatie

    Toetenel, W. J. & van Katwijk, J. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1019-1033

    Research output: ProfessionalChapter

  28. Speech based, multimodal humancomputer interaction

    Rothkrantz, L. J. M., André, M. & Sletterink, B. 1999 SPECOM'99: proceedings. R Poptapova (ed.). S.l.: Russian Agricultual Academic Press, p. 88-91 4 p.

    Research output: Scientific - peer-reviewConference contribution

  29. Speech recognition using Elman neural networks

    Rothkrantz, L. J. M. & Nollen, D. 1999 Text, speech and dialogue: proceedings. V Matousek, P Mautner, J Ocelíková & P Sojka (eds.). Berlin: Springer, p. 146-151 6 p.

    Research output: Scientific - peer-reviewConference contribution

  30. Supporting the DEMO methodology with a business oriented Petri net

    Dietz, J. L. G. & Barjis, I. 1999 EMMSAD'99: proceedings. K Siau (ed.). S.l.: s.n., p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

  31. Task based annotation model

    Denissen, W. J. A., van Reeuwijk, C. & Sips, H. J. 1999 S.l.: JOSES Consortium. 17 p.

    Research output: ProfessionalReport

  32. The design of document information systems

    van der Meer, K. & Sol, H. G. 1999 Encyclopedia of library and information science. A Kent (ed.). New York: Marcel Dekker, p. 68-95

    Research output: ProfessionalChapter

  33. The quality of business process modelling techniques

    Hommes, L. J. 1999 CAiSE*99: proceedings. A Erni, F Moisiadis & G Rivera (eds.). S.l.: s.n., p. 24-35 12 p.

    Research output: Scientific - peer-reviewConference contribution

  34. The role of standards in digital longevity

    van der Meer, K. & Uijlenbroek, J. J. M. 1999 Proceedings. PME Bra, D. & L Hardman (eds.). Amsterdam: Centrum Wiskunde & Informatica, p. 29-34 6 p.

    Research output: ProfessionalConference contribution

  35. Towards algorithms for scheduling of transport processes

    de Weerdt, M. M. 1999 Proceedings 5th TRAIL annual congress 1999 Part 3. PHL Bovy (ed.). Delft: Delft University Press, p. 1-13 13 p.

    Research output: Scientific - peer-reviewConference contribution

  36. Towards the additional use of phase processing in multistatic FMCW radar, considerations and experimental results

    Swart, P. J. F., Steenstra, H. T., Muller, F. L., van der Zwan, W. F., van Genderen, P., Ligthart, L. P., Reijns, G. L. & van Gemund, A. J. C. 1999 Conference proceedings. Vol. 1. London: Microwave Engineering Europe, p. 238-241 4 p.

    Research output: Scientific - peer-reviewConference contribution

  37. Understanding and modeling business processes with DEMO

    Dietz, J. L. G. 1999 Conceptual modeling - ER '99: proceedings (Lecture notes in computer science 1728). J Akoka, M Bouzeghoub, I Comyn-Wattiau & E Métais (eds.). Berlin: Springer, p. 188-202 15 p.

    Research output: Scientific - peer-reviewConference contribution

  38. Understanding business processes on the basis of Habermas' theory of communicative action

    Dietz, J. L. G. 1999 AMCIS 1999: proceedings [CD-ROM]. S.l.: s.n., p. 163-166 4 p.

    Research output: Scientific - peer-reviewConference contribution

  39. Use of case-based reasoning for interpretation of data from NDT

    Jarmulak, J., van 't Veen, P. P. & Kerckhoffs, E. J. H. 1999 In : Insight: non-destructive testing and condition monitoring. 41, 10, p. 642-649 8 p.

    Research output: Scientific - peer-reviewArticle

  40. Vervoersplanning

    de Weerdt, M. M. 1999 In : De Vakidioot. 1999, 1, p. 17-19 3 p.

    Research output: ProfessionalArticle

  41. Wat hebben we geleerd van het millenniumprobleem? Presentatie van een minionderzoek

    Peters, L., van Oorschot, M. & de Jong, W. 1999 In : IT Beheer Praktijkjournaal. 4, 8, p. 2-9 8 p.

    Research output: ProfessionalArticle

  42. Web-based course on software quality assurance: perspectives on intercontinental learning [alleen op CD-ROM verschenen]

    Shah, A., Sosnowski, J., van Katwijk, J. & Zalewski, J. 1999 ICEE'99 proceedings: process through partnership: strengthening alliances. R Farana (ed.). S.l.: s.n., p. 1-9 9 p.

    Research output: ScientificConference contribution

  43. Zoekt en gij zult...verder moeten zoeken

    van der Meer, K. 1999 In : Database Magazine. 5, p. 41-46 6 p.

    Research output: ProfessionalArticle

  44. 1998
  45. A Design Tool for Analysis and Visual Quality Control of Urban Environments Supported by Object Databases

    Sidjanin, P. & Gerhardt-Hackl, W. 1998 Design & Decision Support Systems in Architecture & Urban Planning (CD-ROM). Eindhoven: Technische Universiteit Eindhoven, p. -

    Research output: Scientific - peer-reviewConference contribution

  46. Arbitrageurs in segmented markets

    van Montfort, G. P. R., Bruten, J., Cliff, D. & Rothkrantz, L. J. M. 1998 CEFES'98. S.l.: s.n., p. 1-6 6 p.

    Research output: Scientific - peer-reviewConference contribution

  47. Cyclisch succes of incrementele ellende - een goed gesprek over RAD [niet eerder opgevoerd]

    Coesmans, P., Gylseth, S., Koopman, R., Mallens, P. J. M. & Steltenpool, J. 1998 S.l.: Kluwer Bedrijfsinformatie. 131 p.

    Research output: ProfessionalBook

Previous 1...49 50 51 52 53 Next