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.
Filters
A proof environment for the development of group communication systems
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
We present a theorem proving environment for the development of reliable and efficient group communication systems. ...
Our approach makes methods of automated deduction applicable to the implementation of real-world systems by linking the Ensemble group communication toolkit to the NuPRL proof development system. ...
Conclusion We have presented a logical programming environment for the development of reliable and efficient group communication systems. ...
doi:10.1007/bfb0054269
fatcat:zep3db24kneinptry57bfor5v4
Using communicative approach in the learning process
2022
Ренессанс в парадигме новаций образования и технологий в XXI веке
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 2022; you can also visit the original URL.
The file type is application/pdf.
The article is devoted to the consideration of the communicative approach in the practice of teaching English as a foreign language. ...
The purpose of the communicative approach is to teach how to use the studied foreign language as a means of constructive communication, depending on the goals and objectives of communication, participants ...
The development of grammatical skills will contribute to the successful formation of the communicative competence of students. Tasks are an important stage in the work on grammar. ...
doi:10.47689/innovations-in-edu-vol-iss1-pp175-176
fatcat:go42ibtomvgcjbpw5qtvk6vq3i
Supporting Group Cognition, Individual Learning and Community Practices in Dynamic Geometry
2012
2012 Third International Conference on Emerging Intelligent Data and Web Technologies
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.
This paper reports on the design of a curriculum in dynamic geometry to support group cognition, individual learning and community practices in a coordinated way. ...
Collaboration environments should be designed to prepare groups, individuals and communities to take advantage of the technical functionality and to promote learning at all levels. ...
We have been developing a collaboration environment for small groups of students to explore mathematicsespecially dynamic geometry -together online (Stahl, 2009 ). ...
doi:10.1109/eidwt.2012.13
dblp:conf/eidwt/Stahl12
fatcat:yyzthoecrje3ljji7mn6ntwc4u
JOSHUA: Symmetric Active/Active Replication for Highly Available HPC Job and Resource Management
2006
2006 IEEE International Conference on Cluster Computing
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 2006; you can also visit the original URL.
The file type is application/pdf.
The JOSHUA solution provides a virtually synchronous environment for continuous availability without any interruption of service and without any loss of state. ...
Most of today's HPC systems employ a single head node for control, which represents a single point of failure as it interrupts an entire HPC system upon failure. ...
We present functional and performance test results as well as a theoretical availability analysis of the developed proof-of-concept prototype system. ...
doi:10.1109/clustr.2006.311855
dblp:conf/cluster/UhlemannES06
fatcat:r22lograzzcizk5gqiuxyklkby
Flexible and Affordable Foreign Language Learning Environment based on Web 2.0 Technologies
2013
International Journal of Emerging Technologies in Learning (iJET)
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 goal of our work is to research and develop an environment, which employs Web 2.0 technology plus online language learning tools to provide a more integrated language learning environment. ...
A first working proof of concept based on our approach introduced is promising supporting modern language requirements and first findings and space for improvements are discussed. ...
The visits were supported and sponsored by School of Information Systems and Curtin Business School, Curtin University, and Institute for Information Systems and Computer Media (IICM) at Graz University ...
doi:10.3991/ijet.v8i2.2488
fatcat:atdcz2emhngllnpibila43tnzq
Self-Similar Algorithms for Dynamic Distributed Systems
2007
27th International Conference on Distributed Computing Systems (ICDCS '07)
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 2015; you can also visit the original URL.
The file type is application/pdf.
This paper proposes a methodology for designing a class of algorithms for computing functions in dynamic distributed systems in which communication channels and processes may cease functioning temporarily ...
The paper presents necessary and sufficient conditions for the application of a self-similar strategy. Self-similar algorithms are developed for several problems by applying the methodology. * ...
A set of agents may be able to communicate with each other in one state of the environment and unable to communicate in a different environmental state. ...
doi:10.1109/icdcs.2007.137
dblp:conf/icdcs/ChandyC07
fatcat:llnoc5mimnednc5sglaii6vd3a
Search for mathematical proof in the Web environment as a process of creative collective discovery
2016
SHS Web of Conferences
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.
This perspective requires new research on the theoretical level, and reveals the importance of various aspects of the process of scientific discovery in relation to the issues of problem solving, discovery ...
This applies to all fields of science, even mathematics, where the process of mathematical discovery has traditionally been considered as an individual affair. ...
The search for mathematical proof is in the Web is a new kind of practice, characterized by the change of the communication environment: The Web serves not only as a source of information, i.e. as a repository ...
doi:10.1051/shsconf/20162901074
fatcat:hjtnucrrqzbktodkd2l5jnlhki
Toward a Proof of Concept Cloud Framework for Physics Applications on Blue Gene Supercomputers
2015
Journal of Physics, Conference Series
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.
These types of user reconfigurable environments have the potential to deliver experimental schedulers and operating systems within a working HPC environment for physics computations that may be different ...
Initial testing of the proof of concept system is done using the lattice QCD MILC code. ...
Eric Van Hensbergen from ARM and Marius Hillenbrand from Karlsruhe Institute of Technology for helpful conversations on FusedOS. ...
doi:10.1088/1742-6596/640/1/012063
fatcat:y7tu3x4idfaurkbie7rd7nszpe
Towards computer aided mathematics
2006
Journal of Applied Logic
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.
is Peter Andrews' TPS system, which is based on the contributions of a row of students such as least of which is the software maintenance problem, which is particularly difficult for those groups which ...
The notion of an assistance system for mathematics adopted here characterizes an integrated environment of tools supporting a wide range of typical research, publication and knowledge management activities ...
doi:10.1016/j.jal.2005.10.001
fatcat:gawws4hbbnappewt2z4dao5loq
Welcome to the Communications of the Association for Information Systems
1999
Communications of the Association for Information Systems
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.
Furthermore, the number of web users is one of the highest of any systems implementation in the world, and the computer systems environment is one of the most sophisticated. ...
commerce will be the next high-growth market for developers of business software. ...
doi:10.17705/1cais.00106
fatcat:otgkybtzhvg6foc3ukpalctirq
Automated Fast-Track Reconfiguration of Group Communication Systems
[chapter]
1999
Lecture Notes in 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 2018; you can also visit the original URL.
The file type is application/pdf.
Our techniques are implemented by tactics and theorems of the NuPRL proof development system and have been used successfully for the reconfiguration of application systems built with the Ensemble group ...
We present formal techniques for improving the performance of modular communication systems. ...
These features make it possible to represent Ensemble's code and its specifications in NuPRL in order to use the system as a logical programming environment for the development of group communication systems ...
doi:10.1007/3-540-49059-0_8
fatcat:xycqnuks2bfnpjupxvzaajbejy
CHALLENGES AND ISSUES ON THE RECENT DATA INTEGRITY PRESERVING TECHNIQUES IN THE MULTIUSER CLOUD
2019
INTERNATIONAL JOURNAL OF COMPUTER ENGINEERING & TECHNOLOGY
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 2022; you can also visit the original URL.
The file type is application/pdf.
There was a need for an effective cryptic mechanism with effective cloud storage and recovery of data. ...
The cloud environment has developed to handle that demand with its huge storage space and easy accessibility. ...
On realizing the significance of issues in the existing public integrity checking (PIC), a new identity-conserving public integrity control system with dynamic communities (IPIC-DG) for processing in the ...
doi:10.34218/ijcet.10.6.2019.002
fatcat:mayl46n4cnda5fctaemzlpwpna
A fully distributed architecture for massively multiplayer online games
2004
Proceedings of ACM SIGCOMM 2004 workshops on NetGames '04 Network and system support for games - SIGCOMM 2004 Workshops
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 2007; you can also visit the original URL.
The file type is application/pdf.
Our CC uses the NEO protocol [1] for small groups to provide low-latency, cheat-proof event ordering. ...
Each NEO group then uses several leaders to form a hierarchy of groups so that events with a scope larger than the group can be propagated accordingly through the hierarchy. ...
Our CC uses the NEO protocol [1] for small groups to provide low-latency, cheat-proof event ordering. ...
doi:10.1145/1016540.1016566
dblp:conf/netgames/DickeyZL04
fatcat:5pabltj2lvevlgjtxlaisnwnpq
Client Mobile Software Design Principles for Mobile Learning Systems
2009
International Journal of Interactive Mobile Technologies
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.
A location-based adaptive mobile learning system is presented as a proof of concept to demonstrate the applicability of these design principles. ...
To develop the mobile learning systems there are a number of very important issues that must be addressed. Mobile phones have scarce computing resources. ...
Small Data Communication Bandwidth Use The adaptive mobile learning system application applies the location information of a mobile learner for grouping. ...
doi:10.3991/ijim.v3i1.753
fatcat:fxxed5bwlfgb5mqgmfcenhproi
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System
2013
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 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at ...
In this paper, we present the first prototype of a graphical user interface (GUI) for the new system. ...
An attractive perspective for user contribution to the system could then also be the development of new inference rules or proof strategies. ...
doi:10.4204/eptcs.118.5
fatcat:gur73si2kvca7d7guo2yqp7yty
« Previous
Showing results 1 — 15 out of 295,241 results