Sciweavers

2025 search results - page 24 / 405
» Software performance modelling using PEPA nets
Sort
View
ECRA
2007
69views more  ECRA 2007»
13 years 7 months ago
NetPay: An off-line, decentralized micro-payment system for thin-client applications
Micro-payment systems have become popular in recent times as the desire to support low-value, high-volume transactions of text, music, clip-art, video and other media has increase...
Xiaoling Dai, John C. Grundy
EUSFLAT
2003
128views Fuzzy Logic» more  EUSFLAT 2003»
13 years 9 months ago
Hardware implementation of a fuzzy Petri net based on VLSI digital circuits
Industrial processes can be often modelled using Petri nets. If all the process variables (or events) are assumed to be twovalued signals, then it is possible to obtain a hardware...
Jacek Kluska, Zbigniew Hajduk
JCIT
2010
132views more  JCIT 2010»
13 years 2 months ago
Modelling Net Ecosystem CO2 Exchange by Simple Tropical Ecosystem Model
SITE model was developed to study the response of tropical ecosystems according to environmental conditions for estimating of energy fluxes. This study analyzed the net ecosystem ...
Mariceia Tatiane Vilani, Mariele Pinheiro, Luciana...
SIES
2007
IEEE
14 years 1 months ago
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
Simon Tjell
P2P
2009
IEEE
155views Communications» more  P2P 2009»
14 years 2 months ago
ModelNet: Towards a DataCenter Emulation Environment
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
Kashi Venkatesh Vishwanath, Amin Vahdat, Ken Yocum...