3047 search results - page 5 / 610 » A Temporal Consensus Model |
PDP
2006
IEEE
15 years 3 months ago
2006
IEEE
Mobile ad hoc networks (MANETs) raise new challenges in designing protocols for solving the consensus problem. Among the others, how to design message efficient protocols so as to...
ICMI
2010
Springer
14 years 7 months ago
2010
Springer
Traditionally listener response prediction models are learned from pre-recorded dyadic interactions. Because of individual differences in behavior, these recordings do not capture...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents an approach for building consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent has its own conceptualizat...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...