2261 search results - page 385 / 453 » Relationships Between Models of Concurrency |
DSVIS
2006
Springer
15 years 3 months ago
2006
Springer
We study the variations in two dimensional (2D) pointing tasks on a traditional white board of a group of subjects by means of capturing their movement traces in an automatic way w...
EUC
2006
Springer
15 years 3 months ago
2006
Springer
Gossip-based protocol has been widely adopted by many large-scale multicast applications. In this paper, we study the impact of node cheating on decentralized gossip-based protocol...
NAA
2000
Springer
15 years 3 months ago
2000
Springer
Long-term exposures to high ozone concentrations have harmful effect on the crops and reduce the yield. The exposures are measured in terms of AOT40 (Accumulated exposure Over Thre...
114
click to vote
SBIA
2000
Springer
15 years 3 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
ICCAD
1995
IEEE
15 years 3 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...