1580 search results - page 110 / 316 » Modules for Crosscutting Models |
119
click to vote
ETFA
2008
IEEE
15 years 9 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 ...
105
Voted
AIMSA
2008
Springer
15 years 9 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...
98
Voted
ICANNGA
2007
Springer
15 years 9 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...
130
Voted
BPM
2003
Springer
15 years 8 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...
105
Voted
SPIN
2000
Springer
15 years 6 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...