[PDF] Top 20 An extension of a tool for the formal support for component-based development

... presents the tool Save-IDE, which allows the design, analysis and implementa- tion of dependable component-based embedded ...systems. The component model used as ... See full document

... including the HealthCard application supported in smart cards, the HealthCard system architecture idea consists in more ...developed the card application and a prototype of an external ... See full document

... Nowadays, the Interactive Digital Television (iDTV) has promoted and increased the communica- tion and interaction for knowledge, entertainment and recreation in Distance ...Education. The t- ... See full document

... sustainable development in countries prone to earthquakes is possible with taking effective mea- sures to reduce vulnerability to ...assessment of hypothetical earthquakes and plan- ning for disaster ... See full document

... implementing the WAKAMEWebService were the transformations defined in the KobrA2 ...transformations of model, we searched for specific tools and technologies that could support this ... See full document

... Regarding the RSSI results, we can conclude that the simulation tool was capable of modeling the RSSI in both ...cases the simulation results were closer to the ... See full document

... simulating the execution of an application’s code and checking the execution against the code specifications, ...checking the Java code against its JML specifications in ... See full document

... top of such infrastructures would also benefit the later migration to the SOC level, of AMS ...sort of AMS components, which assume every-day an increasing importance, the ... See full document

... expanded the communication and interac- tion in activities of knowledge acquisitions, entertainment and recreation in Distance Learning ...way of teaching and learning has been called t-Learning. In ... See full document

... reported the developed educational tool named ...by an ISPRS Scientific Initiative. The paper has shown the potential and transversal character offered by the combination ... See full document

... from the mixing of carbon nanoparticles and a polymer matrix. Among the various nanocomposites types, the polymer-matrix nanocomposites have been the most analyzed (Ashby, Ferreira, ... See full document

... self-guided tool or as part of a larger watershed education program for not only Spring Creek Watershed, but other watersheds as ...utilize the structure provided by the two sequences focusing ... See full document

... out the study, a second contact was made through a meeting with the potential participants, where they were informed about the nature and objectives of the study, promis ed ... See full document

... represents the final result of the implemented solution. All the afore- mentioned layers build on top of each other to achieve an end product ...From the infrastructure ... See full document

... allows the interactive construction, debugging and steering of large-scale scientific computations ...view the geometry model; (c) change interactively simulation parameters and boundary conditions; ... See full document

... sensor. The first sensor, infrared, recognizes the container and ...colour. The second sensor uses pressure to detect a container and to control the ve- locity of ...access. The ... See full document

... For an undirected graph G with n vertices, let x_1, x_2, ... ,x_n denote the n ...x_1 of the vertices of G where every pair x_i, x_{i+1} may or may not be adjacent in ...x_1)) of ... See full document

... reflecting the strong global footprint of this global company. The word “Qi”, of Chinese origin, stands for flowing or breathing energy while in English it can be related with ...On the ... See full document

... record the entrance surface exposure (ESE) and the average glandular dose (AGD) received by the patient for each ...in the DICOM image headers and can be used to perform dose surveys. ... See full document

... promotes the specific functions, services and values of green/blue spaces, but also develops and applies a decision support tool that: i) demonstrates the (potential) social, ... See full document