Sciweavers

3192 search results - page 221 / 639
» Translating Model Simulators to Analysis Models
Sort
View
CN
2006
86views more  CN 2006»
15 years 3 months ago
Stochastic analysis of packet-pair probing for network bandwidth estimation
In this paper, we perform a stochastic analysis of the packet-pair technique, which is a widely used method for estimating the network bandwidth in an end-to-end manner. There has...
Kyung-Joon Park, Hyuk Lim, Chong-Ho Choi
CSAC
2006
15 years 4 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
ISNN
2010
Springer
15 years 8 months ago
Learning to Believe by Feeling: An Agent Model for an Emergent Effect of Feelings on Beliefs
An agent's beliefs usually depend on cognitive factors, but also affective factors may play a role. This paper presents an agent model that shows how such affective effects on...
Zulfiqar A. Memon, Jan Treur
MOC
1998
81views more  MOC 1998»
15 years 2 months ago
Discrete gauge invariant approximations of a time dependent Ginzburg-Landau model of superconductivity
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...
Qiang Du
IEEEHPCS
2010
15 years 1 months ago
Analytical modeling and evaluation of network-on-chip architectures
Network-on-chip (NoC) architectures adopted for Systemon-Chip (SoC) are characterized by different trade-offs between latency, throughput, communication load, energy consumption, ...
Suboh A. Suboh, Mohamed Bakhouya, Jaafar Gaber, Ta...