3432 search results - page 384 / 687 » Model Development in the UML-based Specification Environment... |
186
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
211
click to vote
CMSB
2010
Springer
15 years 1 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
159
click to vote
TWC
2010
15 years 1 months ago
2010
Abstract--In this paper, we propose a novel spectrum occupancy model designed to generate accurate temporal and frequency behavior of various wireless transmissions. Our proposed w...
223
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
196
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...