8377 search results - page 18 / 1676 » Scenarios - Introduction |
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Coupling Vehicular Ad Hoc Networks (VANETs) with wired networks such as the Internet via access points creates a difficult mix of highly mobile nodes and a static infrastructur...
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
The Virtual Company educational scenario engages students in a professional setting for working and learning. Students are enabled to develop competencies that are derived from pro...
APN
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
We map intrusion events to known exploits in the network attack graph, and correlate the events through the corresponding attack graph distances. From this, we construct attack sc...
APN
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...