1580 search results - page 110 / 316 » Modules for Crosscutting Models |
ETFA
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
AIMSA
2008
Springer
14 years 2 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
ICANNGA
2007
Springer
14 years 2 months ago
2007
Springer
We developed a computational model of the mushroom body (MB), a prominent region of multimodal integration in the insect brain, and tested the model’s performance for non-element...
BPM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...