64 search results - page 2 / 13 » Simulation Verification and Validation by Dynamic Policy Enf... |
ICCS
2007
Springer
13 years 12 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
POPL
2010
ACM
14 years 3 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
IJAHUC
2011
12 years 9 months ago
2011
: We propose and investigate the Internet Protocol version 6 (IPv6) enabled mobility framework to improve the user mobility experience in heterogenous wireless networks. The framew...
CNSR
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper presents an approach for managing access to services over presence-based communications based on the context of the situation. This paper addresses two technical challe...
ACSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...