401 - 500 out of 2,559Page size: 100
  1. Applying architecture and Ontology to the splitting and allying of enterprise: Problem definition and research approach

    Op 't Land, M. 2006 On the move to meaningful internet systems 2006: OTM 2006 Workshops. s.n. (ed.). Montpellier, France: Springer, p. 1419-1429 11 p. (Lecture Notes in Computer Science; vol. 4278)

    Research output: Scientific - peer-reviewConference contribution

  2. Applying business objects for simulation

    Abolhassani, M. & Barjis, J. 2000 SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 847-852 6 p.

    Research output: ScientificConference contribution

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

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

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

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

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

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

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

  10. Approximation Algorithms for Model-Based Diagnosis

    Feldman, A. B. 2010 Delft.

    Research output: ScientificDissertation (TU Delft)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  40. Auteursrecht E-boek blijft zorgenkind

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

    Research output: ProfessionalArticle

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

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

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

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

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

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

  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 Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US. Bulitko, V. & Beck, J. C. (eds.). California, USA: AAAI , p. 66-73 8 p.

    Research output: Scientific - peer-reviewConference contribution

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  66. Automatic lipreading in the Dutch language

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

    Research output: ScientificDissertation (TU Delft)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  86. 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 9 p.

    Research output: Scientific - peer-reviewConference contribution

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

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

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

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

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

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

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

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

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

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

    Epema, D. & Ghit, B. 2017 26th Int'l Symp. on High-Performance Parallel and Distributed Computing (HPDC). ACM DL, p. 105 116 p.

    Research output: Scientific - peer-reviewConference contribution

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

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

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