1676 search results - page 136 / 336 » Formal System Development with KIV |
160
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
140
Voted
JALC
2006
15 years 4 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
147
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
124
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
The decoupling of producers and consumers in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment with intermittent netwo...
126
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...