1078 search results - page 186 / 216 » Modelling and Verifying of e-Commerce Systems |
122
click to vote
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper studies window flow control focusing on bridging the gap between microscopic factors such as burstiness in sub-RTT timescales, and observable macroscopic properties ...
151
click to vote
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
107
click to vote
ROBIO
2006
IEEE
15 years 8 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
123
click to vote
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...