Sciweavers

422 search results - page 53 / 85
» Potential for Symbolic-assisted Process Simulation
Sort
View
CCGRID
2002
IEEE
15 years 2 months ago
Tracing a Large-Scale Peer to Peer System: An Hour in the Life of Gnutella
Peer-to-peer computing and networking, an emerging model of communication and computation, has recently started to gain significant acceptance. This model not only enables client...
Evangelos P. Markatos
INFOCOM
2000
IEEE
15 years 2 months ago
Prefetching the Means for Document Transfer: A New Approach for Reducing Web Latency
User-perceived latency is recognized as the central performance problem in the Web. We systematically measure factors contributing to this latency, across several locations. Our s...
Edith Cohen, Haim Kaplan
85
Voted
JCNS
2000
64views more  JCNS 2000»
14 years 9 months ago
A Simple Mathematical Model of Second-Messenger Mediated Slow Excitatory
We have developed a novel and simple mathematical model of a slow excitatory postsynaptic potential ased on an abstraction of the processes of activation, inactivation, and summati...
P. P. Bertrand, E. A. Thomas, W. A. A. Kunze, J. C...
KBSE
2002
IEEE
15 years 2 months ago
Model-Based Tests of Truisms
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
Tim Menzies, David Raffo, Siri-on Setamanit, Ying ...
PADL
2004
Springer
15 years 3 months ago
Symbolic Execution of Behavioral Requirements
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S....