4460 search results - page 435 / 892 » Resources in process algebra |
188
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
188
click to vote
PKDD
2007
Springer
16 years 1 months ago
2007
Springer
Collaborative tagging systems allow users to assign keywords—so called “tags”—to resources. Tags are used for navigation, finding resources and serendipitous browsing and ...
196
click to vote
HASKELL
2006
ACM
16 years 26 days ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
189
click to vote
CODES
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
137
click to vote
DSN
2005
IEEE
16 years 15 days ago
2005
IEEE
Stealth malware programs that silently infect enterprise and consumer machines are becoming a major threat to the future of the Internet [XZ04]. Resource hiding is a powerful stea...