Sciweavers

671 search results - page 76 / 135
» A Modeling Framework for Generating Security Protocol Specif...
Sort
View
DEM
2001
Springer
198views GIS» more  DEM 2001»
15 years 4 months ago
Modeling of Ecosystems as a Data Source for Real-Time Terrain Rendering
With the advances in rendering hardware, it is possible to render very complex scenes in real-time. In general, computers do not have enough memory to store all the necessary infor...
Johan Hammes
CAISE
2000
Springer
15 years 4 months ago
CHAOS: An Active Security Mediation System
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
David Liu, Kincho H. Law, Gio Wiederhold
COMPLEXITY
2007
151views more  COMPLEXITY 2007»
14 years 11 months ago
From complex conflicts to stable cooperation: Cases in environment and security
: Conflict is a dynamic and complex form of human interaction, often emerging from incompatible actions, values and goals, and consuming a considerable amount of resources. Conflic...
Jürgen Scheffran, Bruce Hannon
ANSS
1998
IEEE
15 years 4 months ago
An Adaptive Synchronization Protocol for Parallel Discrete Event Simulation
Simulation, especially discrete event simulation (DES), is used in a variety of disciplines where numerical methods are difficult or impossible to apply. One problem with this met...
Keith R. Bisset
SPIN
2010
Springer
14 years 10 months ago
Combining SPIN with ns-2 for Protocol Optimization
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
Pedro Merino, Alberto Salmeron