Sciweavers

1090 search results - page 49 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
WSC
2001
13 years 10 months ago
Teaching manufacturing systems simulation in a computer aided teaching studio
A computer aided teaching studio provides a unique environment for teaching an introductory simulation course to manufacturing engineers. Each meeting can consist of an appropriat...
Charles R. Standridge
CBSQ
2003
Springer
14 years 2 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
ICDCSW
2003
IEEE
14 years 2 months ago
Studying the Use of Handhelds to Control Smart Appliances
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...
Jeffrey Nichols, Brad A. Myers
IWPC
2006
IEEE
14 years 3 months ago
Studying the Evolution of Software Systems Using Change Clusters
In this paper, we present an approach that examines the evolution of code stored in source control repositories. The technique identifies Change Clusters, which can help managers...
Jay Kothari, Ali Shokoufandeh, Spiros Mancoridis, ...
AC
2003
Springer
14 years 2 months ago
Application of Coloured Petri Nets in System Development
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
Lars Michael Kristensen, Jens Bæk Jør...