295,241 Hits in 6.5 sec

A proof environment for the development of group communication systems [chapter]

Christoph Kreitz, Mark Hayden, Jason Hickey
1998 Lecture Notes in Computer Science  
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

N Jumamuratova
2022 Ренессанс в парадигме новаций образования и технологий в XXI веке  
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

Gerry Stahl
2012 2012 Third International Conference on Emerging Intelligent Data and Web Technologies  
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

K. Uhlemann, C. Engelmann, S. Scott
2006 2006 IEEE International Conference on Cluster Computing  
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

Christian Guetl, Vanessa Chang, Athur Edwards, Stefanie Boruta
2013 International Journal of Emerging Technologies in Learning (iJET)  
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

K. Mani Chandy, Michel Charpentier
2007 27th International Conference on Distributed Computing Systems (ICDCS '07)  
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

Ioannis M. Vandoulakis, S.V. Ivanova, E.V. Nikulchev
2016 SHS Web of Conferences  
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

Patrick Dreher, William Scullin, Mladen Vouk
2015 Journal of Physics, Conference Series  
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

Christoph Benzmüller
2006 Journal of Applied Logic  
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

Paul Gray
1999 Communications of the Association for Information Systems  
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]

Christoph Kreitz
1999 Lecture Notes in Computer Science  
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


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

Chris Gauthier Dickey, Daniel Zappala, Virginia Lo
2004 Proceedings of ACM SIGCOMM 2004 workshops on NetGames '04 Network and system support for games - SIGCOMM 2004 Workshops  
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

Qing Tan, Kinshuk Kinshuk
2009 International Journal of Interactive Mobile Technologies  
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

Wolfgang Windsteiger
2013 Electronic Proceedings in Theoretical Computer Science  
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