Filters








34,125 Hits in 6.3 sec

Education Exchange Storage Protocol: Transformation Into Decentralized Learning Platform

Untung Rahardja, M. A Ngadi, Rahmat Budiarto, Qurotul Aini, Marviola Hardini, Fitra Putri Oganda
2021 Frontiers in Education  
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?

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2021 Electronic Proceedings in Theoretical Computer Science  
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]

Gianluca Demartini, Iliya Enchev, Marcin Wylot, Joël Gapany, Philippe Cudré-Mauroux
2012 Lecture Notes in Business Information Processing  
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

Erika Ábrahám, Klaus Havelund
2015 International Journal on Software Tools for Technology Transfer (STTT)  
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

Fuyuki ISHIKAWA, Shinichi HONIDEN
2009 IEICE transactions on communications  
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

Stan Jarzabek, Pin-Kwang Eng
2005 18th Conference on Software Engineering Education & Training (CSEET'05)  
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

Peter O'Shea
2007 International Journal of Educational Development  
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

Zhiyan JIA, Xie Han
2013 International Journal of Education and Management Engineering  
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

Shubham Chaturvedi, Dr. Asha Nagendra
2016 International Journal of Management and Economics Invention  
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

Sony Warsono-bin-Hardono, Arin Pranesti, Frida Fanani Rohma, Devandani Ken Priambodo
2019 Jurnal Dinamika Akuntansi dan Bisnis  
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?

Y. C. Tay
2005 ACM SIGACT News  
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

Zahra Kafi, Khalil Motallebzadeh, Hossein Khodabakhshzadeh, Mitra Zeraatpisheh, Xiaofei Lu
2019 Cogent Education  
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

Abby Cameron-Standerford, Katherine Menard, Christi Edge, Bethney Bergh, Ashley Shayter, Kristen Smith, Laura VandenAvond
2020 Frontiers in Education  
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]

Richard J. Olson, Robert S. Turner, Charles T. Garten
1996 Data and Knowledge in a Changing World  
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

P.J. Denning, D.E. Comer, D. Gries, M.C. Mulder, A. Tucker, A.J. Turner, P.R. Young
1989 Computer  
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