Sciweavers

2909 search results - page 456 / 582
» Consistency of the theory of contexts
Sort
View
OPODIS
2007
15 years 7 months ago
Byzantine Consensus with Few Synchronous Links
This paper tackles the consensus problem in asynchronous systems prone to byzantine failures. One way to circumvent the FLP impossibility result consists in adding synchrony assump...
Moumen Hamouma, Achour Mostéfaoui, Gilles T...
SWWS
2008
15 years 7 months ago
Multi-Modal Health and Activity Monitoring Framework for Elderly People at Home
- Since the population of elderly people grows absolutely and in relation to the overall population in the world, the improvement of the quality of life of elderly people at home i...
Ross Velentzas, Andy Marsh, Christos Biniaris, Jer...
WOTUG
2008
15 years 7 months ago
Visual Process-Oriented Programming for Robotics
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
Jonathan Simpson, Christian L. Jacobsen
AAAI
2006
15 years 7 months ago
The Tactical Language and Culture Training System: A Demonstration
In this demonstration we will present the Tactical Iraqi, one of the implementations of the Tactical Language and Culture Training System (TLTS). The system helps learners acquire...
André Valente, W. Lewis Johnson, Hannes H&o...
DAIS
2006
15 years 7 months ago
Mobile Process Description and Execution
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
Christian P. Kunze, Sonja Zaplata, Winfried Lamers...