5970 search results - page 1011 / 1194 » Management Information Model Engineering |
128
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
121
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
Efficient and informative visualization of surfaces with uncertainties is an important topic with many applications in science and engineering. Examples include environmental pol...
156
click to vote
SC
1995
ACM
15 years 8 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
151
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
156
click to vote
CARS
2003
15 years 5 months ago
2003
The goal of the data collection and analyses described in this paper was to investigate the effects of incorrect output from a CAD tool on the reliability of the decisions of its ...