12438 search results - page 207 / 2488 » The Magic of a Number System |
134
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
159
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Most peer-assisted media streaming systems have applied a design philosophy that uses a "mesh" topology of peers: each peer connects to a small number of neighboring peer...
222
click to vote
BIOCOMP
2010
15 years 2 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
137
click to vote
WSS
2001
15 years 5 months ago
2001
We investigate a new property of computing systems called weak stabilization. Although this property is strictly weaker than the well-known property of stabilization, weak stabiliz...
118
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...