Sciweavers

771 search results - page 23 / 155
» Modelling and Analysing Socio-Technical Systems
Sort
View
ATAL
2010
Springer
14 years 11 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
MOBIS
2008
14 years 12 months ago
Designing and Utilising Business Indicator Systems within Enterprise Models-Outline of a Method
Abstract: The design of effective indicators and indicator systems requires a profound understanding of the relevant business context. Numerous relations and dependencies within an...
Ulrich Frank, David Heise, Heiko Kattenstroth, Han...
WSC
2008
15 years 24 days ago
A simulation model for intensive piglet production systems
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
Lluis Miguel Pla Aragones, Virginia Flores Marias,...
EURODAC
1995
IEEE
149views VHDL» more  EURODAC 1995»
15 years 2 months ago
Cosimulation of real-time control systems
The behaviour of a real-time system can be validated at the system level by means of a real-time operating system model in a VHDL simulation environment. The model consists of the...
Juha-Pekka Soininen, Tuomo Huttunen, Kari Tiensyrj...
ANSS
2007
IEEE
15 years 8 days ago
Modelling Network Memory Servers with Parallel Processors, Break-downs and Repairs
This paper presents an analytical method for the performability evaluation of a previously reported network memory server attached to a local area network. To increase the perform...
Orhan Gemikonakli, Glenford E. Mapp, Enver Ever, D...