9387 search results - page 1059 / 1878 » An Optimal Process Model for a Real Time Process |
192
click to vote
AICCSA
2001
IEEE
15 years 11 months ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
172
click to vote
WSC
2007
15 years 10 months ago
2007
As a result of the anthrax letter incidents in 2001, concerns about terrorists’ use of biological agents have increased dramatically at government state and federal levels. The ...
202
click to vote
NETWORKING
2007
15 years 9 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
168
click to vote
RSS
2007
15 years 9 months ago
2007
— Three-dimensional digital terrain models are of fundamental importance in many areas such as the geo-sciences and outdoor robotics. Accurate modeling requires the ability to de...
254
click to vote
ENTCS
2006
15 years 7 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...