Sciweavers

592 search results - page 22 / 119
» Refining Goal Models by Evaluating System Behaviour
Sort
View
KI
2010
Springer
14 years 6 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
ALMOB
2006
155views more  ALMOB 2006»
14 years 12 months ago
Refining motifs by improving information content scores using neighborhood profile search
The main goal of the motif finding problem is to detect novel, over-represented unknown signals in a set of sequences (e.g. transcription factor binding sites in a genome). The mo...
Chandan K. Reddy, Yao-Chung Weng, Hsiao-Dong Chian...
IGPL
2010
111views more  IGPL 2010»
14 years 10 months ago
A logic of trust and reputation
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
Andreas Herzig, Emiliano Lorini, Jomi Fred Hü...
BVAI
2007
Springer
15 years 6 months ago
A Robotic Architecture with Innate Releasing Mechanism
In this paper we analyze the influence of the frequency of sensor data readings on the behaviours of a Robotic System (RS). This is done in the framework of behaviour based archit...
Ernesto Burattini, Silvia Rossi
AICOM
2007
119views more  AICOM 2007»
14 years 12 months ago
Using exogenous quantities in qualitative models about environmental sustainability
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...
Bert Bredeweg, Paulo Salles, Tim Nuttle