2055 search results - page 89 / 411 » Generic Model Refactorings |
185
click to vote
IPPS
2006
IEEE
16 years 20 days 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...
161
click to vote
EEE
2005
IEEE
16 years 8 days 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...
139
click to vote
CSMR
2006
IEEE
16 years 21 days 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...
158
click to vote
LICS
2006
IEEE
16 years 20 days 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...
195
click to vote
CVPR
2005
IEEE
16 years 8 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...