2055 search results - page 89 / 411 » Generic Model Refactorings |
123
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
EEE
2005
IEEE
15 years 7 months ago
2005
IEEE
With the advance of E-Commerce over Web-based information, the interoperability of isolated XML repositories and databases over the Internet has drawn an increasing interest recen...
CSMR
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
102
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
138
click to vote
CVPR
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper presents an online learning algorithm to construct from video sequences an image-based representation that is useful for recognition and tracking. For a class of object...