1833 search results - page 285 / 367 » Mechanized Verification with Sharing |
145
Voted
ADBIS
2003
Springer
15 years 9 months ago
2003
Springer
It’s a long time since video post production became digital, yet the issue of collaborative video authoring has not been seriously investigated so far. In this paper we tackle th...
103
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. On line Knowledge e-marketplaces (Ke-markets) posses some special challenges for buyers and sellers. Unlike most markets, the product of exchange has some unique characte...
138
click to vote
ACSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Various cryptographic puzzle schemes are proposed as a defense mechanism against denial of service attack. But, all these puzzle schemes face a dilemma when there is a l...
122
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
132
click to vote
ISCC
2002
IEEE
15 years 9 months ago
2002
IEEE
Network service provisioning involves the control of network resources through signaling, routing and management protocols that achieve Quality of Service and Traffic Engineering ...