2940 search results - page 291 / 588 » Relational Parametricity and Control |
174
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
We present icTCP, an "information and control" TCP implementation that exposes key pieces of internal TCP state and allows certain TCP variables to be set in a safe fash...
157
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
164
click to vote
DRM
2009
Springer
16 years 1 months ago
2009
Springer
Privacy and security have always been key concerns for individuals. They have also been closely related concepts: in order to increase their perception of security, people sacriï¬...
170
click to vote
IWSOS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on â€...
173
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Role-based provisioning has been adopted as a standard component in leading Identity Management products due to its low administration cost. However, the cost of adjusting existin...