399 search results - page 68 / 80 » Verification of System Level Model Transformations |
118
click to vote
ISTA
2003
15 years 3 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
144
click to vote
IE
2007
15 years 4 months ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...
120
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
116
click to vote
JUCS
2007
15 years 2 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
150
click to vote
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...