Searched for: +
(21 - 40 of 907)

Pages

document
Wang, Y. (author), Correia, G. (author), de Romph, E. (author), Santos, B.F. (author)
This study uses mobile phone data to understand mobility patterns in a country, with limited mobility data, in order to give advice about decisions on how to design the national and regional road network. Our method consists of three parts: (1) filtering mobile phone traces to derive mobility patterns, (2) building an adapted formulation of the...
article 2018
document
Lamballais Tessensohn, T. (author), van der Vecht, B. (author), Eikelboom, A.R. (author)
In the early years of Artificial Intelligence (AI) research, scientists envisioned AI as embodied in a robot. Since then, the fields of AI and robotics diverged and mostly developed separately. Thanks to rapid developments and recent scientific breakthroughs in both fields, there are many upcoming applications where the integration of AI and...
conference paper 2018
document
Hendriks, M. (author), Ara, H.A. (author), Geilen, M. (author), Marin, R.G. (author), de Jong, R. (author), van der Vlugt, S. (author), Goswami, D. (author)
Complex real-time video processing applications with strict throughput constraints are commonly found in a typical healthcare application. The video processing chain is implemented as Field-Programmable Gate Array (FPGA) accelerators (processing blocks) communicating through a number of First-In First-Out (FIFO) buffers. The FIFO buffers are...
article 2018
document
Verriet, J. (author), Dankers, R. (author), Somers, L. (author)
Performance is a critical system property of any system, in particular of data-intensive systems, such as image processing systems. We describe a performance engineering method for families of data-intensive systems that is both simple and accurate; the performance of new family members is predicted using models of existing family members. The...
conference paper 2018
document
Rodríguez-Espíndola, O. (author), Albores, P. (author), Brewster, C. (author)
Disasters represent a significant challenge for countries globally. Balancing human and material resources during these situations is not a trivial issue, and that is further complicated by the participation of several actors at multiple periods. However, there is an absence of articles considering the importance of deploying only the required...
article 2018
document
Stolwijk, C.C.M. (author), Punter, L.M. (author)
This study focuses on how the Dutch Smart Industry field labs accelerate the digitization of the Industry. Smart Industry field labs are public private partnerships that develop, test and implement Smart Industry solutions. Typical field labs include users of such solutions, (potential) suppliers and knowledge institutes. Each field lab...
report 2018
document
Leemans, M. (author), van der Aalst, W.M.P. (author), van den Brand, M.G.J. (author), Schiffelers, R.R.H. (author), Lensink, L. (author)
Over the last decades, the complexity of high-tech systems, and the softwaresystems controlling them,has increased considerably. In practice, it is hard to keep knowledge and documentation of these ever-evolving software systems up-to-date with their actual realization; we are dealing with legacy software. Clearly, this lack of knowledge,...
article 2018
document
van der Kleij, R. (author)
Onlangs is het lectoraat 'Cybersecurity in het mkb' gestart aan de Haagse Hogeschool. De focus van het lectoraat ligt op de human factor in cybersecurity. Het doel van dit lectoraat is om de kennispositie van het mkb op het gebied van cybercrime en cybersecurity te vergoten om zo het slachtofferschap en de impact van cyberaanvallen onder mkb’ers...
article 2018
document
van Wegberg, R.S. (author), Klievink, A.J. (author), van Eeten, M.J.G. (author)
Fraud with online payment services is an ongoing problem, with significant financial-economic and societal impact. One of the main modus operandi is financial malware that compromises consumer and corporate devices, thereby potentially undermining the security of critical financial systems. Recent research into the underground economy has shown...
article 2017
document
Kurtev, I. (author), Hooman, J. (author), Schuts, M. (author)
Unclear descriptions of software interfaces between components often lead to integration issues during development and maintenance. To address this, we have developed a framework named ComMA (Component Modeling and Analysis) that supports model-based engineering of components. ComMA is a combination of Domain Specific Languages (DSLs) for the...
bookPart 2017
document
Tretmans, J. (author)
Model-based testing is one of the promising technologies to increase the efficiency and effectiveness of software testing. This paper outlines the evolution of model-based testing based on labelled transition systems, from purely theoretical developments in the eighties to industrially applicable tools now: from canonical testers to practical...
conference paper 2017
document
van Dongen, L. (author), Timan, T. (author)
The increasing number of smart devices entering our homes have implications for privacy. Not only do we bring in more spying devices into the home, often these smart objects are linked to data streams or other devices that leave the home – thereby literally taking private matters into public space. In this paper, we take the context of the...
article 2017
document
Donaldson, A.F. (author), Ketema, J. (author), Sorensen, T. (author), Wickerson, J. (author)
The tutorial at CONCUR will provide a practical overview of work undertaken over the last six years in the Multicore Programming Group at Imperial College London, and with collaborators internationally, related to understanding and reasoning about concurrency in software designed for acceleration on GPUs. In this article we provide an overview...
conference paper 2017
document
de Boer, M.H.T. (author), Bouma, H. (author), Kruithof, M.C. (author), ter Haar, F.B. (author), Fischer, N.M. (author), Hagendoorn, L.K. (author), Joosten, B. (author), Raaijmakers, S. (author)
The information available on-line and off-line, from open as well as from private sources, is growing at an exponential rate and places an increasing demand on the limited resources of Law Enforcement Agencies (LEAs). The absence of appropriate tools and techniques to collect, process, and analyze the volumes of complex and heterogeneous data...
conference paper 2017
document
Nagele, T. (author), Hooman, J. (author)
The development of cyber-physical systems (CPSs) with mechanical, electrical and software components requires a multi-disciplinary approach. Moreover, the use of models is important to support trade-offs and design decisions early in the development process. Since the different engineering disciplines use different modelling languages and tools,...
conference paper 2017
document
Tang, Q. (author), Basten, T. (author), Geilen, M. (author), Stuijk, S. (author), Wei, J.B. (author)
Multi-processor systems-on-chips are widely adopted in implementing modern streaming applications to satisfy the ever increasing computation requirements. To take advantage of this kind of platform, it is necessary to map tasks of the application properly to different processors, so as to fully exploit the inherent task-level parallelism and...
article 2017
document
Tang, Q. (author), Basten, T. (author), Geilen, M. (author), Stuijk, S. (author), Wei, J.B. (author)
This article studies the scheduling of real-time streaming applications on multiprocessor systems-on-chips with predictable memory hierarchy. An iteration-based task-FIFO co-scheduling framework is proposed for this problem. We obtain FIFO size distributions using Pareto space searching, based on which the task-toprocessor mapping is obtained...
article 2017
document
Mohammadia, M. (author), Atashinb, A. (author), Hofman, W.J. (author), Tana, Y.H. (author)
Simulated annealing-based ontology matching [1], or SANOM, is an ontology alignment system which ex-ploits the well-known simulated annealing to find the correspondences. The system considers three differ-ent similarity measures, namely string-based, linguistic-based and structural-based measures. A rudimen-tary version of the proposed method is...
conference paper 2017
document
Luiijf, E.A.M. (author)
article 2017
document
van den Berg, F. (author), Haverkort, B.R. (author), Hooman, J. (author)
Service-oriented systems interconnect with other systems in a time critical manner, making their performance vital. For this purpose, we propose an automated performance evaluation approach for service-oriented systems which includes both performance measurement and prediction. The approach makes use of the iDSL language, a domain specific...
conference paper 2017
Searched for: +
(21 - 40 of 907)

Pages