361 search results - page 63 / 73 » An industrial case study in reconstructing requirements view... |
114
click to vote
CSMR
2007
IEEE
15 years 6 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
CAV
2007
Springer
15 years 5 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
ER
2007
Springer
15 years 5 months ago
2007
Springer
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...
ISAAC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract We study an information-theoretic variant of the graph coloring problem in which the objective function to minimize is the entropy of the coloring. The minimum entropy of ...