9110 search results - page 318 / 1822 » Formally-Based Design Evaluation |
183
click to vote
MMAS
2004
Springer
15 years 12 months ago
2004
Springer
Future computing systems interact with a large number of users moving around buildings and streets. In this paper, we propose an example of such systems and how to evaluate ubicomp...
154
click to vote
IEEEPACT
1998
IEEE
15 years 11 months ago
1998
IEEE
The SGI Origin 2000 is designedto support a wide range of applications and has low local and remote memory latencies. However, it often has a high ratio of remote to local misses....
165
click to vote
JSAC
2006
15 years 6 months ago
2006
This paper focuses on the interaction between the Transport Control Protocol (TCP) layer and the radio interface in the High Speed Downlink Packet Access (HSDPA) wireless system. I...
164
click to vote
EOR
2007
15 years 6 months ago
2007
This paper models supply chain (SC) uncertainties by fuzzy sets and develops a possibilistic SC configuration model for new products with unreliable or unavailable SC statistical...
173
click to vote
CJ
2010
15 years 4 months ago
2010
A policy for a minimal reactive agent is a set of condition-action rules used to determine its response to perceived environmental stimuli. When the policy pre-disposes the agent t...