Sciweavers

897 search results - page 54 / 180
» Reuse, Validation and Verification of System Development Pro...
Sort
View
WSC
2008
13 years 11 months ago
Emulation in manufacturing engineering processes
In our research, the manufacturing system emulation technology is proposed as one of the frontloading methods in the manufacturing system implementation phase. In this paper, the ...
Hironori Hibino, Yoshiro Fukuda
WETICE
1998
IEEE
14 years 1 months ago
A Deontic Formalism for Co-ordinating Software Development in Virtual Software Corporations
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
Zsolt Haag, Richard Foley, Julian Newman
IEAAIE
1995
Springer
14 years 14 days ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
WSC
2001
13 years 10 months ago
An object-oriented paradigm for simulating postal distribution centers
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
K. Preston White, Brian Barney, Scott Keller, Robe...
ACSAC
2005
IEEE
14 years 2 months ago
An Integrity Verification Scheme for DNS Zone file based on Security Impact Analysis
The Domain Name System (DNS) is the world’s largest distributed computing system that performs the key function of translating user-friendly domain names to IP addresses through...
Ramaswamy Chandramouli, Scott Rose