Sciweavers

521 search results - page 11 / 105
» Widening the Evaluation Net
Sort
View
WSC
2007
13 years 10 months ago
Comparing simulation alternatives based on quality expectations
Computed Tomography (CT) is one of the fastest growing diagnostic imaging procedures. Rapid advances in imaging technologies in conjunction with their widening adoption are some o...
Joshua Bosire, Shengyong Wang, Tejas Gandhi, Krish...
SMC
2007
IEEE
150views Control Systems» more  SMC 2007»
14 years 1 months ago
Modeling and analysis of multi-agent systems using petri nets
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
Jose R. Celaya, Alan A. Desrochers, Robert J. Grav...
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
QEST
2009
IEEE
14 years 2 months ago
Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
Elina Pacini Naumovich, Simona Bernardi
QEST
2007
IEEE
14 years 1 months ago
A framework to design and solve Markov Decision Well-formed Net models
Marco Beccuti, Daniele Codetta Raiteri, Giuliana F...