1676 search results - page 282 / 336 » Formal Development of Self-organising Systems |
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
DAC
2006
ACM
15 years 3 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...
ACMACE
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...