Sciweavers

1397 search results - page 71 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
103
Voted
AINA
2009
IEEE
15 years 10 months ago
Reliability-Driven Reputation Based Scheduling for Public-Resource Computing Using GA
— For an application in public-resource computing environments, providing reliable scheduling based on resource reliability evaluation is becoming increasingly important. Most ex...
Xiaofeng Wang, Chee Shin Yeo, Rajkumar Buyya, Jins...
128
Voted
CEC
2008
IEEE
15 years 10 months ago
Reduced polynomial neural swarm net for classification task in data mining
—In this paper, we proposed a reduced polynomial neural swarm net (RPNSN) for the task of classification. Classification task is one of the most studied tasks of data mining. In ...
Bijan Bihari Misra, Satchidananda Dehuri, Pradipta...
148
Voted
SDL
2003
158views Hardware» more  SDL 2003»
15 years 4 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
130
Voted
DSS
2007
94views more  DSS 2007»
15 years 3 months ago
A formal modeling approach for supply chain event management
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
Rong Liu, Akhil Kumar, Wil M. P. van der Aalst
152
Voted
IEE
2008
91views more  IEE 2008»
15 years 3 months ago
Story-driven approach to software evolution
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
Juergen Rilling, Wen Jun Meng, René Witte, ...