Search results

Jump to: navigation, search
  • ...ty, safety verification, formal tools, privacy, logic in computer science, process algebras, semantics of programming languages, verifiable security,
    441 B (56 words) - 09:50, 7 January 2021
  • * good outcome is defined as part of the process
    5 KB (607 words) - 09:18, 27 January 2016
  • :: Admin: payment plan, first reporting - ''Research Council still in process to check if all partners are eligible'' * Admin: payment plan, first reporting - ''Research Council still in process to check if all partners are eligible''
    3 KB (413 words) - 14:12, 18 April 2017
  • ...in aim of the latter course is for the students to understand the research process itself, as well as work on developing their own protocol for their masters'
    2 KB (235 words) - 10:43, 25 October 2016
  • ...of TPM registers. In this context we introduce a transformation of the TPM process, that simplifies the structure of the search space for automated verificati ...ally done by cryptographers; these games are formalized in a probabilistic process calculus. CryptoVerif provides a generic method for specifying security pro
    5 KB (733 words) - 15:52, 19 December 2016
  • ...nscious companies a way to create privacy labels through a self-evaluation process guided by a web service.
    15 KB (2,123 words) - 02:14, 1 October 2020
  • ...nscious companies a way to create privacy labels through a self-evaluation process guided by a web service.
    14 KB (2,003 words) - 11:19, 2 January 2021
  • :13:20 '''Smart Home Process Modelling''' by Manoj Upadhaya and Subhash Neupane
    2 KB (284 words) - 13:10, 13 November 2017
  • |Title=describe the process of App development
    429 B (61 words) - 08:41, 6 July 2017
  • ...tion), but on the other hand the abstract data analytics should be able to process the information in such a way, that a general building management is still
    5 KB (772 words) - 15:09, 20 July 2018
  • |BB category=Methodology (for SW/HW development), SW component, Interface, Process
    2 KB (321 words) - 17:44, 13 July 2017
  • ...tation, privacy labelling,...) this WP envisages to open-up the innovation process through integrating all kinds of external stakeholders along the value chai
    5 KB (642 words) - 14:23, 10 February 2018
  • ...et al. “A Crisis Situations Decision-Making Systems Software Development Process with Rescue Experiences." IEEE Access, 2020.
    9 KB (1,186 words) - 22:38, 30 September 2020
  • ''Who is leading this process? Action Item, Time plan ''
    5 KB (737 words) - 08:28, 5 July 2017
  • ...that, although we endeavour provide reasonable security for information we process and maintain, no security system can prevent all potential security breache
    7 KB (1,172 words) - 09:34, 9 June 2017
  • ...inked to SCOTT use cases. The principles of the requirements harmonization process are shown in the following figure (for the initial iteration): The iterativ ...first instance intended for WP2 – WP5 leaders for running the alignment process and providing related deliverables D2.1 – D5.1 in time. A pro-active dial
    5 KB (761 words) - 09:53, 22 September 2017
  • ...chnology Line “Security and Safety”. Work will follow the requirements process as defined in WP1, and consider requirements arising from high-level object
    2 KB (225 words) - 21:47, 9 July 2017
  • ...l progress, and success of the project. The requirements will go through a process of refinement and analysis both within and across industrial domains. This
    5 KB (612 words) - 15:05, 20 July 2018
  • ...s. Moreover, the safety critical cases can occur in different parts of the process and may manifest themselves physically (e.g. device malfunctioning) or virt
    6 KB (861 words) - 11:02, 23 June 2017
  • ...rvices for four novel connected mobility applications. It aims to follow a process including several elements which are necessary for novel connected mobility
    2 KB (288 words) - 11:06, 23 June 2017
  • ...racteristics, such as torque and performance, fuel consumption, emissions, process or driving behaviour. This is typically done using a large numbers of senso
    4 KB (513 words) - 11:13, 23 June 2017
  • :: Toktam Ramezani (UiO): Experiences from Requirement analysis and further process in SCOTT
    6 KB (779 words) - 23:28, 7 March 2018
  • ...cus group), as well as social science involvement is needed throughout the process to continuously improve the demonstrator with the end-user in mind.
    7 KB (949 words) - 13:24, 30 November 2017
  • ...ver results that make an impact in the early stages of the standardisation process.
    3 KB (396 words) - 09:31, 6 July 2017
  • ...s follows well-defined safety standards describing the product development process. However, these standards do not consider security aspects. Therefore, a co ...products, i.e. products in higher volumes, where errors in the development process may lead to safety and security impairment.
    2 KB (223 words) - 18:08, 11 December 2017
  • ...es, Trustable Warning systems are required to self-discover near vehicles, process relevant information about them and then broadcast the relevant warning inf
    2 KB (376 words) - 10:53, 18 July 2017
  • ...r a set of industrial scenarios, following a safety- compliant development process. This stack will be integrable in technically compatible WSN HW platforms. ...ocal control loop, IEC 61508 and EN 50121 for SW/HW design and development process)
    3 KB (477 words) - 18:10, 11 December 2017
  • ...reasoning platform based on Big Data cloud architecture able to store and process large amounts of data collected by sensors. The platform will apply and ada ...It will integrate scalable, robust and reliable technologies to store and process large amounts of data. Machine learning techniques will be applied for futu
    2 KB (352 words) - 17:45, 13 July 2017
  • ...uting). The edge computing provides also the possibility to filter and pre-process too sensitive data.
    1 KB (181 words) - 21:48, 27 March 2018
  • ...ely transfer software from outside into the vehicle and control the update process of the gateway software. It includes a software-based switch to alter trust
    2 KB (291 words) - 17:44, 13 July 2017
  • ...lue assets for the long term, eliminating critical failures and optimizing process operations . Moreover, it will open the door for creative exploration of ne
    2 KB (333 words) - 18:14, 11 December 2017
  • ...r SW/HW development), SW component, Service, Profile, Interface, Standard, Process
    1 KB (188 words) - 17:51, 13 July 2017
  • ...ory=Methodology (for SW/HW development), SW component, Tool or tool chain, Process, Other
    4 KB (580 words) - 15:56, 12 March 2019
  • ..., Profile, Standard, Means for establishing cross-domain interoperability, Process, Other # A simplified decision process from PL-CERT, with different domain-specific versions
    32 KB (4,827 words) - 10:32, 29 November 2019
  • These are publications that have gone through a very thorough reviewing process, and are published in well established venues like Springer, Elsevier, IEEE ...h dissemination purposes which do not go through a very thorough reviewing process as the ones above, and are ''not'' considered as Level 1&2 publications usu
    5 KB (701 words) - 11:50, 30 November 2017
  • ...e following voucher "TFOP" for the Kinderdorf. During the voucher creation process, I would add "_Kinderdorf" to all vouchers. That would give us "TFOP_Kinder
    4 KB (602 words) - 15:25, 24 August 2020
  • * Christine to start approval process (with ministry of health)
    2 KB (249 words) - 11:51, 17 April 2018
  • * A discussion followed on the translation process and how to streamline this. It was decided that each person in charge of th
    7 KB (1,073 words) - 13:38, 12 October 2018
  • ...given that we have done interactivity for one video, how complicate is the process to get all 10 videos "interactive"?
    3 KB (450 words) - 13:01, 17 April 2018
  • = Process = ...orkshop in Nov2017]] with privacy and security experts we established both process details for considering privacy, influence of data types and parameters, gr
    3 KB (465 words) - 14:39, 24 January 2019
  • * Start process with costech – protocol ready and translated
    6 KB (869 words) - 08:21, 7 March 2018
  • ...is to make privacy visible to customers, and thus it part of the decision process when buying devices or services. Current discussions are on the understandi
    3 KB (483 words) - 21:17, 23 January 2018
  • * Jio, a mobile operator from India, is in the process of connecting schools and railway stations in India. They will provide a ce
    4 KB (650 words) - 09:39, 26 January 2018
  • ...must guide economic actions: how is this ideal reflected in the innovation process of your project? ...base in a way that makes local communities able to continue the innovation process (if feasible) - ''add: business models for sustainable growth''
    5 KB (681 words) - 17:42, 10 February 2018
  • == Process for MoH acceptance ==
    5 KB (709 words) - 13:03, 17 April 2018
  • ==== Further process ====
    4 KB (639 words) - 13:10, 12 March 2018
  • ...have a meeting with the Health Approval Team, for input and start approval process
    3 KB (392 words) - 12:56, 17 April 2018
  • ...is to make privacy visible to customers, and thus it part of the decision process when buying devices or services. Current discussions are on the understandi
    6 KB (798 words) - 19:59, 25 July 2018
  • ''Dropping a UC is only allowed when following the process in the attached document. A reduction of scope is not envisioned, though if
    4 KB (606 words) - 12:46, 27 March 2018
  • :: Village platform - creation process :: Health message process
    4 KB (653 words) - 20:39, 19 April 2018

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)