Sciweavers

1367 search results - page 199 / 274
» Describing Business Processes with Use Cases
Sort
View
SPIN
1999
Springer
15 years 10 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang
ITS
1998
Springer
115views Multimedia» more  ITS 1998»
15 years 10 months ago
The Authoring Assistant
In some domains, including those requiring natural language understanding, we cannot build a system that can complete the entire task. One way to deal with such cases is to encode ...
Steven Ritter
INFSOF
2000
109views more  INFSOF 2000»
15 years 6 months ago
Constructing component-based software engineering environments: issues and experiences
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
John C. Grundy, Warwick B. Mugridge, John G. Hoski...
IPPS
2008
IEEE
16 years 24 days ago
Measuring power and temperature from real processors
The modeling of power and thermal behavior of modern processors requires challenging validation approaches, which may be complex and in some cases unreliable. In order to address ...
Francisco J. Mesa-Martinez, Michael Brown, Joseph ...
MODELS
2007
Springer
16 years 15 days ago
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
Jon Whittle, Praveen K. Jayaraman