A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Education Exchange Storage Protocol: Transformation Into Decentralized Learning Platform
2021
Frontiers in Education
Preserved Fulltext
EESP aims to improve the efficiency of the decentralized storage ecosystem in micro-teaching, coupled with blockchain technology acting as a control layer. ...
The decentralized storage system is armed with a blockchain smart contract that acts as a control layer, featuring impregnable security, immutability, trace-ability, and transparency. ...
Before the micro-teaching asset is received, the smart contract will check the micro-teaching asset through its metadata. ...
doi:10.3389/feduc.2021.782969
fatcat:455dg4342za6tj4ovsrbioxlb4
Is CADP an Applicable Formal Method?
2021
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2111.08203v1 fatcat:jbs3m7bkqjevdkhqdxkdjspl64
Model Checking Contest 4 ), repositories (such as the Models for Formal Analysis of Real Systems repository 5 ), or benchmarks. 6
Conclusion CADP is an efficient and usable verification toolbox developed ...
To deal with complex systems, CADP implements a wide range of verification techniques (reachability analysis, static analysis, on-the-fly, compositional, and distributed verification) and provides a scripting ...
doi:10.4204/eptcs.349.1
fatcat:jzc7gmtt35hwlhomudnws3fhh4
BowlognaBench—Benchmarking RDF Analytics
[chapter]
2012
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The proliferation of semantic data on the Web requires RDF database systems to constantly improve their scalability and efficiency. ...
This paper introduces a novel benchmark for evaluating and comparing the efficiency of Semantic Web data management systems on analytic queries. ...
Figure 2 shows the distribution of professors with respect to the number of teaching units related to them. ...
doi:10.1007/978-3-642-34044-4_5
fatcat:qq6phk6ih5hubd42aa2emm5lme
Some recent advances in automated analysis
2015
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Due to the increasing complexity of software systems, there is a growing need for automated and scalable software synthesis and analysis. ...
outline some recent trends, and review some of the latest achievements, introducing six papers selected from the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ...
model checking is distributed on multiple machines in the cloud. ...
doi:10.1007/s10009-015-0403-0
fatcat:hwu7b64kh5brrlm7spzyucxibe
On Applicability of Formal Methods and Tools to Dependable Services
2009
IEICE transactions on communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Formal methods and tools have been considered as promising means to support dependability in complex software systems during the development. ...
Overview of SPIN SPIN (Simple PROMELA Interpreter) [10] is a tool for model checking of distributed systems. ...
PROMELA facilitates modeling of such essential aspects in distributed systems. ...
doi:10.1587/transcom.e92.b.9
fatcat:ik4pcpfbf5a4faa3ypurvvjc6a
Teaching an Advanced Design, Team-Oriented Software Project Course
2005
18th Conference on Software Engineering Education & Training (CSEET'05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Based on experiences, we postulate and motivate the need for teaching at least two project courses in undergraduate curricula, one dealing with design and process issues, and the other focused on unstable ...
We describe a teaching method, course infrastructure and lessons learned over three years of teaching of our course. ...
Acknowledgments Many concepts for our project course emerged from research collaboration with Ulf Pettersson, SES Systems Pte Ltd. Khoo Siau Cheng contributed many ideas and improvements. ...
doi:10.1109/cseet.2005.34
dblp:conf/csee/JarzabekE05
fatcat:jqdftyotujh23lhfemmu3rd474
A systems view of learning in education
2007
International Journal of Educational Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
These factors include increased diversity in the student body, a greater emphasis on collaboration and the drive to replace simple "delivery models" of teaching. ...
This is particularly so in large-scale complex learning systems. The paper also discusses some implications of trying to use systems engineering methodology in modern educational systems. ...
To ensure this efficiency it is proposed that collaborative teams be assembled which are comprised of teachers with good teaching skills. ...
doi:10.1016/j.ijedudev.2006.06.016
fatcat:jlae36zvszgerg2lplj6dfo7jq
Construction of Evaluation System on Multimedia Educational Software
2013
International Journal of Education and Management Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
With the popularization of multimedia technology in the application on teaching, the actual application on teaching software has become a major problem that computer-assisted instruction (CAI) in-depth ...
Constructing a scientific, objective, and fair evaluation system of multimedia teaching software has become imperative. ...
General process is that: first of all, a team of assessment officers checks the stability and reliability of software, and checks out unqualified software; and then subject specialists and system experts ...
doi:10.5815/ijeme.2013.01.06
fatcat:e7qdroqc4bhltpz76bvpf4ifdu
Establishment of Talent Acquisition at Startups
2016
International Journal of Management and Economics Invention
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Built on an effective AI system, DSS intends to transform the way organizations do predictive modelling. ...
Advertisement of jobs Through knowledge of jobs is required so that we can post jobs efficiently. For the smooth process we conduct various meetings with clients. ...
doi:10.18535/ijmei/v2i10.01
fatcat:key3sv4linfnpk5yanzyi4cfbe
What Determine Performance of Financial Accounting Lecturers? An Experimental Study in Indonesian Higher Education Institutions
2019
Jurnal Dinamika Akuntansi dan Bisnis
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The factors analyzed are competence, rigor, and thoroughness. ...
The results show that competence, rigor, and thoroughness have positive effects on the performance of accounting instructors. ...
Instructor Performance = −222,3 + 30.9 Competence + 318.5 Rigor + 138.7 Thoroughness + 13.84 Gender + 1.37 Manipulation Check Of the three variables included in the model, all three have a significance ...
doi:10.24815/jdab.v6i2.13961
fatcat:aqtp7wr2sffk3easvyerlq432a
What should computer science students learn from mathematics?
2005
ACM SIGACT News
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Method Besides content and rigor, a mathematics course also teaches (indirectly, by osmosis) the mathematical method: how to formalize concepts with definitions, work with small examples to gain some intuition ...
If we can guess all possible factors and check them "simultaneously", then we can factor ¡ efficiently. It turns out that such a simultaneous computation is possible with quantum physics. ...
doi:10.1145/1067309.1067311
fatcat:7bdoru6mrnaknet7hbzp4efwfi
Developing, glocalizing & validating a quality indices rubric in English language teaching: A case of CIPP Model
2019
Cogent Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
CIPP (Context, Input, Process, and Product) Model with a progressive/humanist approach was opted by the researchers as the main pattern of thought. This study used concurrent-mix method design. ...
Also, a questionnaire was distributed to 250 Iranian EFL teachers. ...
This test is used to check whether the distribution deviates from a comparable normal distribution. ...
doi:10.1080/2331186x.2019.1666643
fatcat:q4dpux7j5vc6nbxlm4vbav4oka
The Phenomenon of Moving to Online/Distance Delivery as a Result of COVID-19: Exploring Initial Perceptions of Higher Education Faculty at a Rural Midwestern University
2020
Frontiers in Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The survey addressed faculty perceptions and lived experiences related to supporting this transition, previous experiences with online teaching, the role of rigor and care in course design and implementation ...
Building upon this groups' previous research, which focused on the relationships among care and rigor in the online teaching/learning environment, the researchers designed survey questions to further explore ...
The survey also requested demographic information, previous experience teaching online, and competence with the learning management system. ...
doi:10.3389/feduc.2020.583881
fatcat:hukpwxpl55fu5dtlgybzkbmvym
Integrated Ground-Based and Remotely Sensed Data to Support Global Studies of Environmental Change
[chapter]
1996
Data and Knowledge in a Changing World
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Data centers routinely archive and distribute large databases of high quality and with rigorous documentation but, t o meet the needs of global studies effectively and efficiently, data centers must go ...
The DAACs became operational in July 1994 t o form a physically distributed archive and distribution system linked through a system-wide informa tion management system. ...
Data centers routinely archive and distribute large databases of high quality and with rigorous documentation but, t o meet the needs of global studies effectively and efficiently, data centers must go ...
doi:10.1007/978-3-642-85248-0_13
fatcat:rtarge43vzaeddwndtpf2a6oby
Computing as a discipline
1989
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
and security Distributed computing and networks Models in artificial intelligence File and database systems Parallel computation Human interface We have grouped the topics into 11 modules. ...
Other applications such as statistical processing.This area deals with methods of organizing hardware (and associated software) into efficient, relialble systems. ...
Machine architectures that imitate biological systems, e.g., neural networks, connectionism, sparse distributed memory. ...
doi:10.1109/2.19833
fatcat:jc22fw5xprclnfy7inuwbzueru
« Previous
Showing results 1 — 15 out of 34,125 results