4679 search results - page 208 / 936 » The Timely Computing Base Model and Architecture |
135
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We introduce the concept of Computer Assisted Visual InterActive Recognition (CAVIAR). In CAVIAR, a parameterized geometrical model serves as the human-computer communication chan...
145
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
The availability of large quantities of processors is a crucial enabler of many-task computing. Voluntary computing systems have proven that it is possible to build computing plat...
133
click to vote
PODC
2004
ACM
15 years 10 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...
132
Voted
ICPADS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a real time scheduling policy over 802.11 DCF protocol called Deadline Monotonic (DM). We evaluate the performance of this policy for a simple scenario w...
120
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...