1833 search results - page 118 / 367 » Mechanized Verification with Sharing |
148
Voted
GRID
2007
Springer
15 years 10 months ago
2007
Springer
— Performing delegation in large scale, dynamic and distributed environments with large numbers of shared resources is more challenging than inside local administrative domains. ...
140
Voted
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
AbstractSelf-Assembly is a powerful autopoietic mechanism ubiquitous throughout the natural world. It may be found at the molecular scale and also at astronomical scales. Self-asse...
112
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— A generic mechanism for end-user transmission rate control into a differentiated services Internet is formulated and basic results of corresponding Nash equilibria are proved. ...
152
click to vote
CCS
1994
ACM
15 years 8 months ago
1994
ACM
This paper describes an access control mechanism that enforces at the network level an access control decision that is taken at the application level. The mechanism is based on th...
176
click to vote
NOSSDAV
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...