5510 search results - page 772 / 1102 » Mathematics |
177
click to vote
LCN
2003
IEEE
16 years 1 hour ago
2003
IEEE
Assured Service has been proposed within the Differentiated Services (DiffServ) model to provide relative service differentiation by attempting to allocate bandwidth to different ...
192
click to vote
SRDS
2003
IEEE
15 years 12 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
211
click to vote
STEP
2003
IEEE
15 years 12 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
180
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
157
click to vote
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe a visualization application intended for operational use in formulating business strategy in the customer service arena. The visualization capability provided in this ...