4285 search results - page 598 / 857 » Differential Behavioral Analysis |
144
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
148
Voted
WAC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. There is an increasing consensus that existing mobility models, such as the well-known random walk or random waypoint models, are insufficient to represent real node mobi...
154
click to vote
WINE
2005
Springer
16 years 3 days ago
2005
Springer
The modeling of Internet quality of service (QoS) provisioning is a multidisciplinary research subject. From the viewpoint of game theory, we propose a model that combines QoS inde...
165
click to vote
PASTE
2004
ACM
16 years 1 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
138
click to vote
CEAS
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. We present Filtron, a prototype anti-spam filter that integrates the main empirical conclusions of our comprehensive analysis on using machine learning to construct eff...