Sciweavers

5480 search results - page 339 / 1096
» Communicating with Synchronized Environments
Sort
View
207
Voted
ISORC
2002
IEEE
15 years 11 months ago
Reactive Objects
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
Johan Nordlander, Mark P. Jones, Magnus Carlsson, ...
ECCE
2007
15 years 8 months ago
Design of argument diagramming for case-based group learning
Argument diagramming tools can improve reasoning and learning. They are likely to have a significant place in future virtual learning environments whose design will be dominated b...
John Dowell, Thomas Gladisch
PDCN
2007
15 years 8 months ago
An information service infrastructure for ambient networks
Communication environments are becoming increasingly more complex due to the diversity of available network technologies in terms of spatial coverage and design characteristics, a...
Raffaele Giaffreda, Kostas Pentikousis, Eleanor He...
KBSE
2009
IEEE
16 years 1 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
ISCC
2000
IEEE
151views Communications» more  ISCC 2000»
15 years 11 months ago
Connection-Oriented Routing in Ad Hoc Networks Based on Dynamic Group Infrastructure
An ad hoc network is formed by a group of mobile hosts communicating over wireless channels. Such a network operates without any fixed network interaction and centralized administ...
Yu-Liang Chang, Ching-Chi Hsu