1499 search results - page 82 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
181
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a methodology for agent-oriented analysis and design. The methodology is general, in that it is applicable to a wide range of multi-agent systems, and comprehe...
162
click to vote
ICDIM
2006
IEEE
16 years 11 days ago
2006
IEEE
— Delivering QoS and ensuring security of Web Services (WS) based architecture is critical and constitutes a significant challenge because of its dynamic and unpredictable nature...
157
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
182
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
185
click to vote
INFOCOM
2006
IEEE
16 years 11 days ago
2006
IEEE
— We show that different flavors of TCP may be viewed as implementations of age-based scheduling disciplines. By parameterizing the scheduling disciplines of interest we are abl...