2024 search results - page 274 / 405 » A Formal Model of Multi-agent Computations |
ISCAS
2007
IEEE
15 years 5 months ago
2007
IEEE
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
122
click to vote
QEST
2007
IEEE
15 years 5 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
73
Voted
DSOM
2007
Springer
15 years 5 months ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
100
click to vote
SACMAT
2006
ACM
15 years 5 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
83
Voted
GCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...