Sciweavers

9931 search results - page 359 / 1987
» Generative Modeling by PRISM
Sort
View
CBSE
2010
Springer
15 years 10 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten
ECMDAFA
2009
Springer
111views Hardware» more  ECMDAFA 2009»
15 years 4 months ago
Experiences of Developing a Network Modeling Tool Using the Eclipse Environment
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...
Andy Evans, Miguel A. Fernández, Parastoo M...
ACL
2008
15 years 8 months ago
Resolving Personal Names in Email Using Context Expansion
This paper describes a computational approach to resolving the true referent of a named mention of a person in the body of an email. A generative model of mention generation is us...
Tamer Elsayed, Douglas W. Oard, Galileo Namata
BC
1999
104views more  BC 1999»
15 years 6 months ago
Control of multistability in ring circuits of oscillators
The essential dynamics of some biological central pattern generators (CPGs) can be captured by a model consisting of x neurons connected in a ring. These circuits, like many oscill...
Carmen C. Canavier, Douglas A. Baxter, J. W. Clark...
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
15 years 12 months ago
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...