401 - 500 out of 2,658Page size: 100
  1. Applying distance learning at the ING Group

    in het Pandhuis, J., Sodoyer, B. R. & Wegbrands, P. H. 2000 Euromedia 2000: building a global business. F Broeckx & L Pauwels (eds.). San Diego: Society for Computer Simulation International, p. 189-193 5 p.

    Research output: Scientific - peer-reviewConference contribution

  2. Approach for component-based software specification

    Shishkov, B. B. & Dietz, J. L. G. 2003 In : LADIS International Journal On Www/Internet. 1, 1, p. 1-14 14 p.

    Research output: ScientificArticle

  3. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, A. B., Provan, G. & van Gemund, A. J. C. 2010 In : The Journal of Artificial Intelligence Research. 38, p. 371-413 43 p.

    Research output: Scientific - peer-reviewArticle

  4. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, A. B., Provan, G. & van Gemund, A. J. C. 2007 Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA. Biswas, G., Koutsoukos, X. & Abdelwahed, S. (eds.). Nashville: ISIS, p. 290-297 8 p.

    Research output: Scientific - peer-reviewConference contribution

  5. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, A. B., Provan, G. & van Gemund, A. J. C. 2007 Proceedings of the Seventh Symposium on Abstraction Reformulation, and Approximation, Whistler, Canada. Miguel, I. & Ruml, W. (eds.). Berlin: Springer, p. 139-154 16 p. (Lecture Notes in Computer Science; vol. 4612)

    Research output: Scientific - peer-reviewConference contribution

  6. Approximating the Qualitative Vickrey Auction by a Negotiation Protocol

    Hindriks, K. V., Tykhonov, D. & de Weerdt, M. M. 2010 Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets.. Shehory, O., Sarne, D. & David, E. (eds.). Berlin: Springer, p. 44-57

    Research output: ScientificChapter

  7. Approximating the qualitative vickrey auction by a negotiation protocol

    Hindriks, K. V., Tykhonov, D. & de Weerdt, M. M. 2009 Proceedings of the workshop on agent-mediated electronic commerce. Shehory, O., Sarne, D. & David, E. (eds.). p. 43-56 14 p.

    Research output: Scientific - peer-reviewConference contribution

  8. Approximation Algorithms for Model-Based Diagnosis

    Feldman, A. B. 2010 Delft.

    Research output: ScientificDissertation (TU Delft)

  9. Approximation results for multi-agent planning systems

    Valk, V., Witteveen, C. & Zutt, J. 2001 PRIMA' 2001: workshop. S.l.: s.n., p. 387-398 12 p.

    Research output: Scientific - peer-reviewConference contribution

  10. 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

  11. ArchiMate and DEMO - mates to date?

    Ettema, R. W. & Dietz, J. L. G. 2009 Advances in Enterprise Engineering III. Albani, A., Barjis, J. & Dietz, J. L. G. (eds.). Berlin: Springer, p. 172-186 15 p. (Lecture Notes In Business Information Processing; vol. 34)

    Research output: Scientific - peer-reviewConference contribution

  12. Architectural Knowledge Representation Using the Galois Lattice Technique

    Sariyildiz, I. S., Chitchian, D. & Koppelaar, H. 1999 Multiple Approaches to Intelligent Systems. G Goos, J Hartmanis & J Leeuwen, V. (eds.). Berlin: Springer, p. 724-734 11 p.

    Research output: Scientific - peer-reviewConference contribution

  13. Architectural Knowledge representation Using the Galois Lattice technique (niet eerder opgenomen)

    Chitchian, D., Sariyildiz, I. S. & Koppelaar, H. 1999 Lecture Notes 1611. Multiple Approaches to Intelligent Systems. JG Carbonel & J Siekman (eds.). Berlin, Heidelberg, New York: Springer Verlag, p. 724-734 11 p.

    Research output: Scientific - peer-reviewConference contribution

  14. Architectural knowledge representation using the Galois lattice techniques

    Chitchian, D., Sariyildiz, S. & Koppelaar, H. 1999 Multiple approaches to intelligent systems (Lecture notes in artificial intelligence 1611). I Imam, Y Kodratoff, A El-Dessouki & M Ali (eds.). Berlin: Springer, p. 724-734 11 p.

    Research output: Scientific - peer-reviewConference contribution

  15. Architectural knowledge representationusing the Galois Lattice techniques

    Chitchian, D., Sariyildiz, S. & Koppelaar, H. 2000 In : Lecture Notes in Artificial Intelligence. 1611, p. 724-734 11 p.

    Research output: ScientificArticle

  16. Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems

    Gonzalez Sanchez, A., Piel, E. A. B. & Gross, H. G. 2008 23rd IEEE/ACM Internation Conference on Automated Software Engineering - Workshop Proceedings (ASE workshops 2008). Caporuscio, M., di Marco, A., Mariani, L., Muccini, H., Ploni, A. & Sheory, O. (eds.). L'Aquila, Italy: IEEE Computer Society, p. 41-48 8 p.

    Research output: Scientific - peer-reviewConference contribution

  17. Architecture for Service Oriented Solution Delivery Using Grid Systems

    Naik, V. K., Garbacki, P. J. & Mohindra, A. 2006 IEEE International Conference on Services Computing (SCC'06). s.n. (ed.). Chicago, IL: IEEE Computer Society, p. 414-422 9 p.

    Research output: Scientific - peer-reviewConference contribution

  18. Architectures for Wireless Sensor Networks

    Dulman, S. O., Chatterjea, S. & Havinga, P. 2009 Embedded Systems Handbook, Second Edition: Networked Embedded Systems. Zurawski, R. (ed.). Boca Raton, Florida, USA: CRC Press / Balkema - Taylor & Francis Group, p. 401-433 804 p.

    Research output: ScientificChapter

  19. Architectuur en agile: een ongelukkig huwelijk?

    Bender, K. J. & van Solingen, D. M. 2011 In : Automatisering Gids. June 2011, p. 16-16 1 p.

    Research output: Scientific - peer-reviewArticle

  20. Archival metadata for durable data sets

    van der Meer, K., Durr, E. H. & Dekker, R. 2006 Dutch-Belgian Information Retrieval Workshop. Franciska de Jong & Wessel Kraaij (eds.). Delft: TNO ICT Delft, p. 19-23 5 p.

    Research output: Scientific - peer-reviewConference contribution

  21. Are on-line personae really unlinkable?

    Veeningen, M., Piepoli, A. & Zannone, N. 2014 Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers. Springer Verlag, Vol. 8247 LNCS, p. 369-379 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8247 LNCS)

    Research output: Scientific - peer-reviewConference contribution

  22. Artificial intelligence for automating building design processes

    Chitchian, D., Sariyildiz, I. S. & Koppelaar, H. 2000 Applied Simultation and Modelling, proceedings of the International Association of Science and Technology for Development - IASTED. MH Hamza (ed.). Calgary: IASTED, ACTA Press, p. 35-39 5 p.

    Research output: Scientific - peer-reviewConference contribution

  23. Artificial intelligence for automating building design processes

    Chitchian, D., Sariyildiz, S. & Koppelaar, H. 2000 Proceedings IASTED. Annaheim: iASTED, p. 35-39 5 p.

    Research output: Scientific - peer-reviewConference contribution

  24. Artificial player for Quake III Arena

    Waveren, J. M. P. & Rothkrantz, L. J. M. 2002 In : International Journal of Intelligent Games and Simulation. 1, 1, p. 25-32 8 p.

    Research output: Scientific - peer-reviewArticle

  25. Artificial player for quake III arena

    van Waveren, J. M. P. & Rothkrantz, L. J. M. 2001 Game-On 2001. Q Mehdi, N Gough & D Al-Dabass (eds.). Ghent: SCS Europe BVBA, p. 48-55 8 p.

    Research output: Scientific - peer-reviewConference contribution

  26. Asking the right question in collaborative q&a systems

    Yang, J., Hauff, C., Bozzon, A. & Houben, G. J. P. M. 2014 Proceedings of the 25th ACM Conference on Hypertext and Social Media. Ferres, L. & Rossi, G. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 179-189 11 p.

    Research output: Scientific - peer-reviewConference contribution

  27. Aspect mining and refactoring

    Marin, A. M., van Deursen, A. & Moonen, L. M. F. 2003 Proceedings of The first international workshop on REFactoring: Achievements, Challenges, and Effects (REFACE). Tahvildari, L. & Kontogiannis, K. (eds.). s.l.: s.n., p. 37-40 4 p.

    Research output: ScientificConference contribution

  28. Aspect-oriented adaptation specification in web information systems: a semantics-based approach

    Casteleyn, S., van Woensel, W., van der Sluijs, K. A. M. & Houben, G. J. P. M. 2009 In : New Review of Hypermedia and Multimedia. 15, 1, p. 39-71 33 p.

    Research output: Scientific - peer-reviewArticle

  29. Assessing real-time component contracts through built-in evolutionary testing

    Gross, H. G., Mayer, N. & Paredes Riano, J. 2005 Component-based software development for embedded systems - An overview of current research trends. Atkinson, C., Bunse, C., Gross, H. G. & Peper, C. (eds.). Berlin: Springer, p. 107-121 15 p.

    Research output: Scientific - peer-reviewChapter

  30. Assessing the Value of Coding Standards: An Empirical Study

    Boogerd, C. J. & Moonen, L. M. F. 2008 Proceedings of the 24th IEEE International Conference on Software Maintenance. Mei, H. & Wong, K. (eds.). Beijing, China: IEEE Society, p. 277-286 10 p.

    Research output: Scientific - peer-reviewConference contribution

  31. Assessing the quality of business process modelling techniques

    Hommes, L. J. & van Reijswoud, V. E. 2000 Abstracts and CD-ROM of full papers. Los Alamitos: IEEE Computer Society, p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

  32. Assessment of Issue Handling Efficiency

    Luijten, B., Visser, J. & Zaidman, A. E. 2010 Proceedings of the 7th Working Conference on Mining Software Repositories (MSR 2010). Whitehead, J. & Zimmermann, T. (eds.). Los Alamitos: IEEE Society, p. 94-97 4 p.

    Research output: Scientific - peer-reviewConference contribution

  33. Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding

    Cap, M., Novak, P. & Pechoucek, J. V. M. 2012 Spatio-Temporal Dynamics (STeDy 2012), Workshop Proceedings of the European Conference on Articial Intelligence (ECAI 2012), Montpellier, France. Bhatt, M., Guesgen, H. W. & Davis, E. (eds.). ECAI, p. 18-25 8 p.

    Research output: Scientific - peer-reviewConference contribution

  34. Atmospheric dispersion prediction and source estimation of hazardous gas using artificial neural network, particle swarm optimization and expectation maximization

    Qiu, S., Chen, B., Wang, R., Zhu, Z., Wang, Y. & Qiu, X. 1 Apr 2018 In : Atmospheric Environment. 178, p. 158-163 6 p.

    Research output: Scientific - peer-reviewArticle

  35. Atomic Upgrading of Distributed Systems

    van der Burg, S., Dolstra, E. & de Jonge, M. 2008 First ACM Workshop on Hot Topics in Software Upgrades (HotSWUp). Dumitras, T., Dig, D. & Neamtiu, I. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 1-5 5 p.

    Research output: Scientific - peer-reviewConference contribution

  36. Auctions for Congestion Management in Distribution Grids

    Philipsen, R., de Weerdt, M. & de Vries, L. 2016 13th International Conference on the European Energy Market (EEM 2016). Danvers, MA, USA: IEEE Society, p. 1-5 5 p.

    Research output: Scientific - peer-reviewConference contribution

  37. Auctions with Arbitrary Deals

    Mahr, T. & de Weerdt, M. M. 2007 HoloMAS 2007. Marik, V., Vyatikin, V. & Colombo, A. W. (eds.). Springer Verlag, p. 37-46 10 p. (Lecture Notes in Computer Science; vol. 4659)

    Research output: Scientific - peer-reviewConference contribution

  38. Augmenting User Models with Real World Experiences to Enhance Personalization and Adaptation

    Abel, F., Dimitrova, V., Herder, E. & Houben, G. J. P. M. 2012 UMAP 2011 Workshops. Kuflik, T. & Ardissono, L. (eds.). Springer, p. 31-34 4 p. (Lecture Notes in Computer Science; vol. 7138)

    Research output: Scientific - peer-reviewConference contribution

  39. Auteursrecht E-boek blijft zorgenkind

    Lachman, R. & van der Meer, K. 2000 In : Automatisering Gids. 9

    Research output: ProfessionalArticle

  40. Auto-Erecting Virtual Office Walls

    van Gameren, B. J. A., Dullemond, K. & van Solingen, D. M. 2012 Proceedings of the 2012 International Conference on Collaborative Computing: Networking, Applications and Worksharing. Ahn, G-J. & et al (eds.). p. 1-7 7 p.

    Research output: Scientific - peer-reviewConference contribution

  41. AutoSync: automatic duty-cycle control for synchronous low-power listening

    Hansen, M., Kusy, B., Jurdak, R. & Langendoen, K. G. 2012 Proceedings 9th IEEE Conference on Sensor, Mesh and Ad Hoc Communications and Networks. Banerjee et al, S. (ed.). Piscataway, NJ, USA: IEEE Society, p. 139-147 9 p.

    Research output: Scientific - peer-reviewConference contribution

  42. Automated Deployment of a Heterogeneous Service-Oriented System

    van der Burg, S. & Dolstra, E. 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). O'Conner, L. (ed.). Los Alamitos: IEEE Society, p. 183-190 8 p.

    Research output: Scientific - peer-reviewConference contribution

  43. Automated Fault Diagnosis for Service-Oriented Architectures

    Chen, C., Gross, H. G. & Zaidman, A. E. 2012 5th International Conference on Service-Oriented Computing and Applications. sn (ed.). Los Alamitos: IEEE Society, p. -

    Research output: Scientific - peer-reviewConference contribution

  44. Automated Fault Diagnosis in Embedded Systems

    Zoeteweij, P., Pietersma, J., Abreu, R. F., Feldman, A. B. & van Gemund, A. J. C. 2008 Proceedings of the 2nd IEEE International Conference on Secure Systems Integration and Reliability Improvement (SSIRI'08)s.n.. s.n. (ed.). Los Alamitos, USA: IEEE Computer Society, p. 103-110 8 p.

    Research output: Scientific - peer-reviewConference contribution

  45. Automated Interactive Sales Processes

    Klos, T. B., Somefun, K. & La Poutré, H. 2011 In : IEEE Intelligent Systems. 26, 4, p. 54-61 8 p.

    Research output: Scientific - peer-reviewArticle

  46. Automated Redesign with the General Redesign Engine

    Feldman, A. B., Provan, G., de Kleer, J., Kuhn, L. & van Gemund, A. J. C. 2009 Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US. Bulitko, V. & Beck, J. C. (eds.). California, USA: American Association for Artificial Intelligence (AAAI), p. 66-73 8 p.

    Research output: Scientific - peer-reviewConference contribution

  47. Automated Redesign with the General Redesign Engine

    Feldman, A. B., Provan, G., de Kleer, J., Kuhn, L. & van Gemund, A. J. C. 2009 Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09). Frisk, E., Nyberg, M., Krysander, M. & Aslund, J. (eds.). Linkoping, Sweden: Linkoping University, p. 307-314 8 p.

    Research output: Scientific - peer-reviewConference contribution

  48. Automated Reencoding of Boolean Formulas

    Manthey, N., Heule, M. J. H. & Biere, A. 2012 Proceedings of Haifa Verification Conference 2012. sn (ed.). Berin: Springer, p. 1-16 16 p.

    Research output: Scientific - peer-reviewConference contribution

  49. Automated Security Testing of Web Widget Interactions

    Bezemer, C., Mesbah, A. & van Deursen, A. 2009 Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09). van Vliet, H. & Issarny, V. (eds.). New York: Association for Computing Machinery (ACM), p. 81-90 10 p.

    Research output: Scientific - peer-reviewConference contribution

  50. Automated detection of test fixture strategies and smells

    Greiler, M. S., van Deursen, A. & Storey, M. A. 2013 Proceedings - 2013 IEEE 6th International Conference on Software Testing, Verification and Validation. Le Traon, Y. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 322-331 10 p.

    Research output: Scientific - peer-reviewConference contribution

  51. Automated evaluation of syntax error recovery

    de Jonge, M. & Visser, E. 2012 ASE 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering. Goedlicke, M., Menzies, T. & Saeki, M. (eds.). New York: Association for Computing Machinery (ACM), p. 322-325 4 p.

    Research output: Scientific - peer-reviewConference contribution

  52. Automated theorem proving for the KARO-architecture

    Valk, J. M., Tonino, J. F. M., Bos, A. & Witteveen, C. 1999 ESSLLI 99. S.l.: s.n., p. 1-13 13 p.

    Research output: Scientific - peer-reviewConference contribution

  53. Automated transport planning using agents

    Aronson, L. D., van der Krogt, R. P. J., Witteveen, C. & Zutt, J. 2002 Proceedings International congress on FTAM. Vogels, E. (ed.). Delft: TRAIL research School, p. 1-19 19 p.

    Research output: ScientificConference contribution

  54. Automatic Assessments of Code Explanations: Predicting Answering Times on Stack Overflow

    Ercan, S., Stokkink, Q. & Bacchelli, A. 2015 proceedings of the 12th Working Conference on Mining Software Repositories, MSR 2015. Di Penta, M. (ed.). Piscataway: IEEE Society, p. 442-445 4 p.

    Research output: Scientific - peer-reviewConference contribution

  55. Automatic Fault Diagnosis in Embedded Software

    Abreu, R., Zoeteweij, P., Golsteijn, R. & van Gemund, A. J. C. 2006 Proceedings of the 10th Philips Software Conference. Heyden, V. D. (ed.). Philips, p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

  56. Automatic Generation of Semantic Metadata as Basis for User Modeling and Adaptation

    van der Sluijs, K. A. M. & Houben, G. J. P. M. 2009 Advances in Ubiquitous User Modelling. Berlin: Springer, p. 73-93 159 p.

    Research output: ScientificChapter

  57. Automatic IEEE 802.11 rate control for streaming applications

    Haratcherev, I. J., Taal, J. R., Langendoen, K. G., Lagendijk, R. L. & Sips, H. J. 2005 In : Wireless Communications and Mobile Computing. 5, 4, p. 421-437 17 p.

    Research output: Scientific - peer-reviewArticle

  58. Automatic Software Fault Localization using Generic Program Invariants

    Abreu, R. F., Gonzalez Sanchez, A., Zoeteweij, P. & van Gemund, A. J. C. 2008 23rd Annual ACM Symposium on Applied Computing (SAC'08). Wainwright, R. L. & Haddad, H. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 712-717 6 p.

    Research output: Scientific - peer-reviewConference contribution

  59. Automatic Test Case Generation: What If Test Code Quality Matters?

    Palomba, F., Panichella, A., Zaidman, A. & Oliveto, R. Jul 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016. New York, NY: Association for Computing Machinery (ACM), p. 130-141 12 p.

    Research output: Scientific - peer-reviewConference contribution

  60. Automatic analysis of facial expressions: the state of the art

    Pantic, M. & Rothkrantz, L. J. M. 2000 In : IEEE Transactions on Pattern Analysis and Machine Intelligence. 22, 12, p. 1424-1445 22 p.

    Research output: ScientificArticle

  61. Automatic cost estimation of high-performance applications

    van Gemund, A. J. C. 2002 VECPAR 2002; High performance computing for computational science; Proceedings Part II. Porto, Portugal: FEUP, p. 323-336 14 p.

    Research output: ScientificConference contribution

  62. Automatic discovery of algorithms for multi-agent systems

    van Berkel, S., Turi, D., Pruteanu, A. S. & Dulman, S. O. 2012 14th int. conf. on genetic and evolutionary computation conference companion. NY, USA: Association for Computing Machinery (ACM), p. 337-344 8 p.

    Research output: Scientific - peer-reviewConference contribution

  63. Automatic eyebrow tracking using boundary chain codes

    Raducanu, B., Pantic, M., Rothkrantz, L. J. M. & Graña, M. 1999 ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 137-143 7 p.

    Research output: Scientific - peer-reviewConference contribution

  64. Automatic facial action encoding in static dual-view images

    Pantic, M. & Rothkrantz, L. J. M. 2000 ASCI 2000 proceedings. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 153-160 8 p.

    Research output: Scientific - peer-reviewConference contribution

  65. Automatic lipreading in the Dutch language

    Wojdel, J. 2003 s.l.: s.n.. 132 p.

    Research output: ScientificDissertation (TU Delft)

  66. Automatic recoding in a fuzzy inductive reasoner

    Van Welden, D. F., Kerckhoffs, E. J. H. & Vansteenkiste, G. C. 1999 ESM'99: modelling and simulation: a tool for the next millennium. Vol. 2.. H Szczerbicka (ed.). Delft: Society for Computer Simulation International, p. 348-354 7 p.

    Research output: Scientific - peer-reviewConference contribution

  67. Automatic recognition of facial expressions using BayesianBelief networks*

    Datcu, D. & Rothkrantz, L. J. M. 2004 2004 IEEE international conference on systems, man and cybernetics. Thissen, W., Wieringa, P., Pantic, M. & Ludema, M. (eds.). Piscataway: IEEE Society, p. 2209-2214 6 p.

    Research output: Scientific - peer-reviewConference contribution

  68. Automatic speech recognition using recurrent neural networks

    Rothkrantz, L. J. M. & Nollen, D. 2000 In : Neural Network World: international journal on non-standard computing and artificial intelligence. 10, 3, p. 445-454 10 p.

    Research output: ScientificArticle

  69. Automatically Extracing Class Diagrams from Spreadsheets

    Hermans, F. F. J., Pinzger, M. & van Deursen, A. 2010 Proceedings 24th European Conference on Object-Oriented Programming (ECOOP). d'Hondt, T. (ed.). Berlin: Springer, p. 52-75 24 p.

    Research output: Scientific - peer-reviewConference contribution

  70. Automating Integration Testing of Large-Scale Publish/Subscribe Systems

    Piel, E. A. B., Gonzalez Sanchez, A. & Gross, H. G. 2010 Principles and Applications of Distributed Event-Based Systems. Hinze, A. M. & Buchmann, A. (eds.). Hershey: IGI Global, p. 140-163

    Research output: ScientificChapter

  71. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

    Grewe, S., Erdweg, S. & Mezini, M. 2016 Proceedings of the 3rd Vampire Workshop. Kovacs, L. & Voronkov, A. (eds.). EPIC 2009, p. 33-45 13 p. (EPIC Series in Computing; vol. 44)

    Research output: Scientific - peer-reviewConference contribution

  72. Automating System Tests Using Declarative Virtual Machines

    van der Burg, S. & Dolstra, E. 2010 21st IEEE International Symposium on Software Reliability Engineering (ISSRE 2010). Marathe, M. & Cukier, M. (eds.). Los Alamitos: IEEE Society, p. 181-190 10 p.

    Research output: Scientific - peer-reviewConference contribution

  73. Autonomous Scheduling

    Yadati Narasimha, C., Witteveen, C., Zhang, Y., Wu, M. & La Poutré, J. A. 2008 Proceedings of the Foundations of Computer Science (FCS 2008). Arabnia, H. R., Mun, Y. & Zhou, P. L. (eds.). s.l.: CSREA Press, p. 73-79 7 p.

    Research output: Scientific - peer-reviewConference contribution

  74. Autonomous Scheduling with unbounded and bounded agents

    Yadati Narasimha, C., Witteveen, C., Zhang, Y., Wu, M. & La Poutré, H. 2008 Multiagent System Technologies. 6th German Conference, MATES 2008. Bergmann, R., Lindemann, G., Kirn, S. & Pechoucek, M. (eds.). Springer Verlag, p. 195-206 12 p. (Lecture Notes in Artificial Intelligence; vol. LNAI 5244)

    Research output: Scientific - peer-reviewConference contribution

  75. Autonomous massively multiplayer online game operation on unreliable resources

    Nae, V., Kopfle, L., Prodan, R. & Iosup, A. 2013 Proceedings of the sixth International C* Conference on Computer Science and Software Engineering. Desai, B. C. (ed.). New York: Association for Computing Machinery (ACM), p. 95-103 9 p.

    Research output: Scientific - peer-reviewConference contribution

  76. Awareness bepaalt succes of falen van een EA-traject

    Go, A., Lee, C. & Dietz, J. L. G. 2007 In : Tiem: tijdschrift voor informatie en management. 21, p. 4-10 7 p.

    Research output: Scientific - peer-reviewArticle

  77. BLISP: Enhancing Backscatter Radio with Active Radio for Computational RFIDs

    in 't Veen, I., Liu, Q., Pawelczak, P., Parks, A. & Smith, J. R. 2016 2016 IEEE International Conference on RFID, RFID 2016. Hawrylak, P. J. (ed.). Piscataway: IEEE, p. 1-4 4 p.

    Research output: Scientific - peer-reviewConference contribution

  78. BPR: van hype naar selectieve toepassing

    Mulder, J. B. F. & van Reijswoud, V. E. 1999 In : Automatisering Gids. 47, p. 21-21 1 p.

    Research output: ProfessionalArticle

  79. BTWorld: Towards Observing the Global BitTorrent File-Sharing Network

    Wojciechowski, M., Capota, M., Pouwelse, J. A. & Iosup, A. 2010 Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, HPDC 2010. Hariri, S. & Keahey, K. (eds.). New York: Association for Computing Machinery (ACM), p. 581-588 8 p.

    Research output: Scientific - peer-reviewConference contribution

  80. Balancing CPU-GPU collaborative high-order CFD simulations on the Tianhe-1A supercomputer

    Xu, C., Zhang, L., Deng, X., Fang, J., Wang, G., Cao, W., Che, Y., Wang, Y. & Liu, W. 2014 Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium. O'Conner, L. & Parashar, M. (eds.). Piscataway, NJ, USA: IEEE Society, p. 725-734 10 p.

    Research output: Scientific - peer-reviewConference contribution

  81. BarterCast: A practical approach to prevent lazy freeriding in P2P networks

    Meulpolder, M., Pouwelse, J. A., Epema, D. H. J. & Sips, H. J. 2009 Proceedings of the 23rd IEEE International Parallel & Distributed Processing Symposium. Yang, Y. (ed.). Los Alamitos: IEEE/CS, p. 1-8 8 p.

    Research output: Scientific - peer-reviewConference contribution

  82. Basic notions regarding business processes and supporting information systems

    Dietz, J. L. G. 2004 CAISE'04; 16th Conference on advanced information systems engineering: Workshops proceedings of knowledge and model driven information systems engineering for networked organisations. Grundspenkis, J. & Kirikova, M. (eds.). Riga, Latvia: Riga Technical University, p. 60-68 9 p.

    Research output: Scientific - peer-reviewConference contribution

  83. Basic notions regarding business processes and supporting information systems

    Dietz, J. L. G. 2005 In : Requirements Engineering. 10, 3, p. 175-183 9 p.

    Research output: Scientific - peer-reviewArticle

  84. Bayesian Game Based Fuzzy Reinforcement Learning Control for Decentralized POMDPs

    Sharma, R. & Spaan, M. T. J. 2012 In : IEEE Transactions on Computational Intelligence and AI in Games. 4, 4, p. 309-328 20 p.

    Research output: Scientific - peer-reviewArticle

  85. Bayesian inference in dynamic domains using Logical OR gates

    Claessens, R., de Waal, A., de Villiers, P., Penders, A., Pavlin, G. & Tuyls, K. 2016 Proceedings of the 18th International Conference on Enterprise Information Systems (ICEIS 2016). Hammoudi, S., Maciaszek, L., Missikoff, M. M., Camp, O. & Cordeiro, J. (eds.). Vol. 2, p. 134-142

    Research output: Scientific - peer-reviewConference contribution

  86. Behaviour Pattern-Based Model Generation for Model-Based Testing

    Kanstren, T. S. 2009 Proceedings of the 1st International Conference on Pervasive Patterns and Applications (PATTERNS 2009). Guerrero, J. (ed.). Los Alamitos: IEEE/CS, p. 233-241 9 p.

    Research output: Scientific - peer-reviewConference contribution

  87. Benchmarking Grid Applications for Performance and Scalability Predictions

    Nadeem, F., Prodan, R., Fahringer, T. & Iosup, A. 2007 Proc. of the Second CoreGRID Workshop on Middleware. Priol, T. & Vanneschi, M. (eds.). Berlin: Springer Verlag, p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

  88. Benchmarking graph-processing platforms: A vision

    Guo Yong, G., Varbanescu, A. L., Iosup, A., Martella, C. & Willke, T. L. 2014 Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering (ICPE 2014). Lange, K. D. & Murphy, J. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 289-292 4 p.

    Research output: Scientific - peer-reviewConference contribution

  89. Benchmarking in the cloud: What it should, can, and cannot be

    Folkerts, E., Alexandrov, A. ., Sachs, K., Iosup, A., Markl, V. & Tosun, C. 2013 Selected Topics in Performance Evaluation and Benchmarking - Proceedings 4th TPC Technology Conference on Performance Evaluation and Benchmarking. Nambiar, R. & Poess, M. (eds.). Berlin - Heidelberg: Springer Verlag, p. 173-188 16 p. (Lecture Notes in Computer Science; vol. 7755)

    Research output: Scientific - peer-reviewConference contribution

  90. Benefits and Costs of Model-Based Fault Diagnosis for Semiconductor Manufacturing Equipment

    Pietersma, J. & van Gemund, A. J. C. 2007 Proceedings of INCOSE 2007, 17th International Symposium on Systems Engineering. s.n. (ed.). s.l.: s.n., p. 1-12 12 p.

    Research output: Scientific - peer-reviewConference contribution

  91. Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks

    Albani, A. & Dietz, J. L. G. 2008 Software and Data Technologies. Filipe, B. & Helfert, M. (eds.). Springer, p. 3-22 428 p.

    Research output: Scientific - peer-reviewChapter

  92. Beoordelen en verbeteren van informatiediensten en informatiestructuren met IIM2

    Tan, D. S., Uijttenbroek, A. A. & de Jong, W. 1999 IT beheer jaarboek 1999: het standaardwerk voor IT service management. J Bon, V. (ed.). p. 111-125

    Research output: ProfessionalChapter

  93. Best-response planning of thermostatically controlled loads under power constraints

    De Nijs, F., Spaan, M. T. J. & De Weerdt, M. M. 2015 Proceedings of the National Conference on Artificial Intelligence. American Association for Artificial Intelligence (AAAI), Vol. 1, p. 615-621 7 p.

    Research output: Scientific - peer-reviewConference contribution

  94. Beter beeld van het digitale document

    Wiekenkamp, V., van der Meer, K. & Hoekstra, M. 2003 In : Business Process Magazine. 5, p. 26-29 4 p.

    Research output: ProfessionalArticle

  95. Better Safe than Sorry: Grappling with Failures of In-Memory Data Analytics Frameworks

    Ghit, B. & Epema, D. 2017 Proceedings of the 26th International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2017. New York, NY: Association for Computing Machinery (ACM), p. 105-116 12 p.

    Research output: Scientific - peer-reviewConference contribution

  96. Between Restarts and Backjumps

    Ramos, A., van der Tak, P. & Heule, M. J. H. 2011 Theory and Applications of Satisfiability Testing 2011. Sakallah, K. A. & Simon, L. (eds.). Berlin, Germany: Springer, p. 216-229 14 p. (Lecture Notes in Computer Science; vol. 6695)

    Research output: Scientific - peer-reviewConference contribution

  97. Beveiligen

    Aalders, J. C. H. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1232-1245

    Research output: ProfessionalChapter

  98. Beyond Page Objects: Testing Web Applications with State Objects

    Van Deursen, A. 1 Jun 2015 In : ACM Queue: tomorrow's computing today. 13, 6, p. 20-37 18 p.

    Research output: Scientific - peer-reviewArticle

Previous 1 2 3 4 5 6 7 8 ...27 Next