Sciweavers

1719 search results - page 55 / 344
» Software Re-Documentation Process and Tool
Sort
View
107
Voted
GI
2009
Springer
15 years 7 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski
109
Voted
QSIC
2007
IEEE
15 years 9 months ago
Towards Automatic Measurement of Probabilistic Processes
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
Lin Song, Yuxin Deng, Xiaojuan Cai
ARC
2006
Springer
88views Hardware» more  ARC 2006»
15 years 7 months ago
Integrating Custom Instruction Specifications into C Development Processes
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
Jack Whitham, Neil C. Audsley
148
Voted
WSC
1998
15 years 4 months ago
TAYLOR II Manufacturing Simulation Software
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
William B. Nordgren
124
Voted
EUROSYS
2007
ACM
16 years 15 days ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...