3605 search results - page 406 / 721 » System and simulation modeling using SysML |
159
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Generative models are created to be used in the design and performance assessment of high layer wireless communication protocols and some error control strategies. Genera...
155
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
130
click to vote
ESTIMEDIA
2009
Springer
15 years 11 months ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
128
click to vote
ICWL
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present the European project Open Dance and in particular our contribution to the 3D simulation of folk dances and their presentation on the web. Our aim is to pro...
134
click to vote
CSREASAM
2010
15 years 1 months ago
2010
Nowadays, Network Intrusion Detection Systems are quickly updated in order to prevent systems against new attacks. This situation has provoked that attackers focus their efforts on...