1636 search results - page 199 / 328 » Dynamic and Distributed Interaction Protocols |
139
click to vote
ICMI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we describe an interface consisting of a virtual showroom where a team of two highly realistic 3D agents presents product items in an entertaining and attractive wa...
170
click to vote
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
135
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— It is generally accepted that locomotion in animals is based on a trade-off between energy consumption and stability. However, this trade-off is the result of the interaction b...
145
click to vote
ENTCS
2006
15 years 3 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
140
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
Popularity of content in social media is unequally distributed, with some items receiving a disproportionate share of attention from users. Predicting which newly-submitted items ...