3564 search results - page 483 / 713 » Evaluating a Formal Modelling Language |
116
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 ...
106
click to vote
EDCC
2010
Springer
15 years 3 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
114
click to vote
IE
2007
15 years 17 days ago
2007
In this paper, I describe a possible creative model for approaching realtime 3D Multi-user Virtual Environments (MUVEs) as formal, audio-visual composition environments. The model...
ICUMT
2009
14 years 8 months ago
2009
This paper presents a simple resource control mechanism with traffic scheduling for 2-hop ad-hoc networks, in which the Request-To-Send (RTS) packet is utilized to deliver feedback...
153
click to vote
COMPLEXITY
2010
14 years 6 months ago
2010
The paper presents the use of signal regulatory networks, a biologically-inspired model based on gene regulatory networks. Signal regulatory networks are a way of understanding a ...