1150 search results - page 187 / 230 » Specifying Information-Flow Controls |
SIGCOMM
1994
ACM
14 years 4 days ago
1994
ACM
Interframe compression techniques, such as those used in MPEG video, give rise to a coded bit stream where picture sizes di er by a factor of 10 or more. As a result, bu ering is ...
COLCOM
2007
IEEE
14 years 19 hour ago
2007
IEEE
Current collaborative tools are often not able to profit from existing systems for user management. It is therefore necessary for collaborative systems to administrate their users ...
CSFW
2009
IEEE
14 years 5 hour ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
EDOC
2009
IEEE
13 years 12 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
HOTOS
2007
IEEE
13 years 12 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...