Search

Your search keyword '"PINTO, A. SOUSA"' showing total 20 results
Start Over Author "PINTO, A. SOUSA" Publisher ieee
20 results on '"PINTO, A. SOUSA"'

4. Semantic interrelation in distributed system through green computing ontology

Author

Herlina, Jayadianti, Nugroho, Lukito Edi, Santosa, Paulus Insap, Pinto, Carlos Sousa, and Universidade do Minho

Subjects
Green computing, Ontology, Effectiveness, Data heterogeneity
Abstract

Green computing refers to the system that provides minimal impact on the environment. When we are talking about green computing we discuss about how much energy is used by the system, such as energy used by the system, time used for the search process, and how effective the system is. Related to that issue, trough this paper we want to proposes a new effort to achieve Green Computing in heterogeneous data in distributed system. The technology chosen to deal with them is Ontology. We try to generate a common ontology including a common set of terms, based on the several ontologies available, in order to make possible to share the common terminology (set of terms) that it implements, between different communities. If a very large amount of distributed data is not managed and distributed properly, user will need more time to do a search process. The longer the search is done, the more energy is used., (undefined)

Published
2013

9. Enhancing web supported learning by adding a management layer to SCORM compliant LMSs

Author

Pinto, Carlos Sousa, Ramos, Fernando M. S., and Universidade do Minho

Subjects
Learning management systems, SCORM
Abstract

Many Web based learning experiences fail due to bad or absent support. LMSs (Learning Management Systems) must incorporate mechanisms for real time monitorization of the involvement of each participant in a course, allowing the detection of deviations to the scheduled activities, enabling the correction of these deviations [1]. The principal standardization projects in the area do not cover this type of aspects. Those projects are mainly focused on contents and its delivery to the learners participating in the courses [2], [3], [4]. This article describes a proposal of a reference model and functionalities towards a specification of a layer for real time management of user interactions with SCORM (Sharable Content Object Reference Model) compliant LMSs., (undefined)

Published
2006

12. Formal Verification With Frama-C: A Case Study in the Space Software Domain.

Author

e Silva, Rovedy Aparecida Busquim, Arai, Nanci Naomi, Burgareli, Luciana Akemi, de Oliveira, Jose Maria Parente, and Pinto, Jorge Sousa

Subjects
COMPUTER software, SOFTWARE verification, SOFTWARE reliability, COMPUTER programming, AEROSPACE industries, SIMULATION methods & models
Abstract

With the increasing importance of software in the aerospace field, as evidenced by its growing size and complexity, a rigorous and reliable software verification and validation process must be applied to ensure conformance with the strict requirements of this software. Although important, traditional validation activities such as testing and simulation can only provide a partial verification of behavior in critical real-time software systems, and thus, formal verification is an alternative to complement these activities. Two useful formal software verification approaches are deductive verification and abstract interpretation, which analyze programs statically to identify defects. This paper explores abstract interpretation and deductive verification by employing Frama-C’s value analysis and Jessie plug-ins to verify embedded aerospace control software. The results indicate that both approaches can be employed in a software verification process to make software more reliable. [ABSTRACT FROM AUTHOR]

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results