Sciweavers

39 search results - page 2 / 8
» A Graphical Approach to Analogue Behavioural Modelling
Sort
View
EUROMICRO
1996
IEEE
13 years 9 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
13 years 10 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
ICCV
2009
IEEE
14 years 10 months ago
Modelling Activity Global Temporal Dependencies using Time Delayed Probabilistic Graphical Model
We present a novel approach for detecting global behaviour anomalies in multiple disjoint cameras by learning time delayed dependencies between activities cross camera views. Sp...
Chen Change Loy, Tao Xiang and Shaogang Gong
JSS
2010
132views more  JSS 2010»
12 years 12 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
CEC
2009
IEEE
13 years 12 months ago
Gene regulation in a particle metabolome
Abstract— The bacterial genome is well understood by biologists. Although its efficiency and adaptability should make it a good model for evolutionary algorithms, the bacterial ...
Simon J. Hickinbotham, Edward Clark, Susan Stepney...