Sciweavers

5615 search results - page 805 / 1123
» Active Learner Modelling
Sort
View
GLOBECOM
2007
IEEE
15 years 10 months ago
Delay and Energy Tradeoff in Multi-State Wireless Sensor Networks
This paper discusses a first attempt to investigate, using analytic means, the transmission delay and energy characteristics of a multi-state wireless sensor network. For such a ne...
Woei Ling Leow, Hossein Pishro-Nik
AMAST
2004
Springer
15 years 10 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
AUIC
2004
IEEE
15 years 10 months ago
A Knowledge Management Approach to User Support
This paper considers the problem of computer user support and workplace learning in general. Theoretically our work is influenced by ideas on knowledge management, expertise netwo...
R. T. Jim Eales
APNOMS
2006
Springer
15 years 10 months ago
Path Hopping Based on Reverse AODV for Security
In Ad hoc networks, malicious nodes can enter in radio transmission range on the routing path and disrupt network activity. Therefore, protecting from intrusion of malicious node a...
Elmurod Talipov, Donxue Jin, JaeYoun Jung, Ilkhyu ...
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 10 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur