Sciweavers

6153 search results - page 149 / 1231
» Modeling Cyclic Change
Sort
View
SEFM
2008
IEEE
14 years 5 months ago
Restricted Broadcast Process Theory
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
MOBIHOC
2000
ACM
14 years 3 months ago
Content based multicast (CBM) in ad hoc networks
Abstract— This paper presents a radically new multicast model for ad hoc wireless networks. In this model, the content of the multicast data determines the receiver set for the d...
Hu Zhou, Suresh Singh
PERSUASIVE
2009
Springer
14 years 5 months ago
A behavior model for persuasive design
This paper presents a new model for understanding human behavior. In this model (FBM), behavior is a product of three factors: motivation, ability, and triggers, each of which has...
B. J. Fogg
IEAAIE
2003
Springer
14 years 4 months ago
A Rigorous Approach to Knowledge Base Maintenance
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
John K. Debenham
FLAIRS
2001
14 years 5 days ago
Validity of First-Order Knowledge Bases
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
John K. Debenham