5525 search results - page 299 / 1105 » Verification of Model Transformations |
186
click to vote
LOPSTR
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
161
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
152
Voted
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
165
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
178
click to vote
WSCG
2001
15 years 7 months ago
2001
This paper describes a new method for creating visually realistic moving facial image sequences that retain an actor's personality (individuality, expression and characterist...