963 search results - page 40 / 193 » Formal Analysis of BPMN Models Using Event-B |
114
click to vote
ASWEC
2006
IEEE
15 years 7 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
124
click to vote
ICFEM
1998
Springer
15 years 5 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
111
click to vote
ICCAD
2008
IEEE
15 years 10 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
134
click to vote
JOT
2010
14 years 11 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
117
click to vote
EDOC
2008
IEEE
15 years 7 months ago
2008
IEEE
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...