57 resultados para formal verification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Although formal institutions and entrepreneurial orientation have both been found to contribute separately and positively to firm performance, the interplay between the two factors has not received much attention. This study draws from institutional theory and the entrepreneurship literature to argue that entrepreneurial orientation (EO) provides the mechanism through which the formal institutional environment influences the performance of firms in the tourism sector. Using structural equation modelling and data from a large-scale survey of firms in the tourism sector in the Philippines, it is shown that elements of the institutional environment, by themselves, only have limited influence on tourism firms' performance. EO is shown to partially enhance the effects of the institutional environment on firm performance. The strong mediating effect of entrepreneurial orientation on the relationship between the institutional environment and firm performance is a novel finding and highlights the important role of the government in ensuring that the formal institutional environment promotes entrepreneurship which, in turn, enhances the performance of the tourism sector.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this article, we discuss the importance of recognizing students' technology-enhanced informal learning experiences and develop pedagogies to connect students' formal and informal learning experiences, in order to meet the demands of the knowledge society. The Mobile-Blended Collaborative Learning model is proposed as a framework to bridge the gap between formal and informal learning and blend them together to form a portable, flexible, collaborative and creative learning environment. Using this model, three categories of mobile application tools, namely tools for collaboration, tools for coordination and tools for communication, have been identified as pertinent in blending formal and informal learning, and they can be connected seamlessly to provide an effective learning mechanism to support the learning process.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

 Today, Digital Systems and Services for Technology Supported Learning and Education are recognized as the key drivers to transform the way that individuals, groups and organizations “learn” and the way to “assess learning” in 21st Century. These transformations influence: Objectives - moving from acquiring new “knowledge” to developing new and relevant “competences”; Methods – moving from “classroom” based teaching to “context-aware” personalized learning; and Assessment – moving from “life-long” degrees and certifications to “on-demand” and “in-context” accreditation of qualifications. Within this context, promoting Open Access to Formal and Informal Learning, is currently a key issue in the public discourse and the global dialogue on Education, including Massive Open Online Courses (MOOCs) and Flipped School Classrooms.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Array

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Database query verification schemes provide correctness guarantees for database queries. Typically such guarantees are required and advisable where queries are executed on untrusted servers. This need to verify query results, even though they may have been executed on one’s own database, is something new that has arisen with the advent of cloud services. The traditional model of hosting one’s own databases on one’s own servers did not require such verification because the hardware and software were both entirely within one’s control, and therefore fully trusted. However, with the economical and technological benefits of cloud services beckoning, many are now considering outsourcing both data and execution of database queries to the cloud, despite obvious risks. This survey paper provides an overview into the field of database query verification and explores the current state of the art in terms of query execution and correctness guarantees provided for query results. We also provide indications towards future work in the area.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Database query verification schemes attempt to provide authenticity, completeness, and freshness guarantees for queries executed on untrusted cloud servers. A number of such schemes currently exist in the literature, allowing query verification for queries that are based on matching whole values (such as numbers, dates, etc.) or for queries based on keyword matching. However, there is a notable gap in the research with regard to query verification schemes for pattern-matching queries. Our contribution here is to provide such a verification scheme that provides correctness guarantees for pattern-matching queries executed on the cloud. We describe a trivial scheme, ȃŸż and show how it does not provide completeness guarantees, and then proceed to describe our scheme based on efficient primitives such as cryptographic hashing and Merkle hash trees along with suffix arrays. We also provide experimental results based on a working prototype to show the practicality of our scheme.Ÿż