14056 search results - page 52 / 2812 » Consistency in Model Integration |
136
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
149
click to vote
IGIS
1994
15 years 8 months ago
1994
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...
115
click to vote
TITS
2008
2008
Fuzzy Control Model Optimization for Behavior-Consistent Traffic Routing Under Information Provision
15 years 4 months ago
This paper presents an H-infinity filtering approach to optimize a fuzzy control model used to determine behaviorconsistent (BC) information-based control strategies to improve the...
121
click to vote
CGI
2001
IEEE
15 years 8 months ago
2001
IEEE
The simulation of various natural phenomena is one of the important research fields in computer graphics. In particular, aspects such as sky, clouds, water, fire, trees, smoke, te...
185
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...