351 search results - page 52 / 71 » Properties of Behavioural Model Merging |
139
Voted
IGPL
2010
15 years 2 months ago
2010
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...
141
click to vote
DAC
2009
ACM
15 years 7 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
129
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Mapping the Internet generally consists in sampling the network from a limited set of sources by using traceroute-like probes. This methodology, akin to the merging of different s...
150
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
110
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...