2588 search results - page 119 / 518 » Engineering Systems Which Generate Emergent Functionalities |
153
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
166
click to vote
IJES
2006
15 years 4 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
148
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
115
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Embodied Conversational Agents (ECAs) are life-like computer generated characters that interact with human users in face-to-face multi-modal conversations. ECA systems are general...
120
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Cybernetics, among its more general definitions, is about effective governance of dynamic probabilistic systems. First order cybernetics is concerned with [software] processes gov...