1346 search results - page 200 / 270 » Alternating-time dynamic logic |
181
click to vote
IAJIT
2010
15 years 4 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
119
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents a novel transport protocol, CUSP, specifically designed with complex and dynamic network applications in mind. Peer-to-peer applications benefit in particu...
165
click to vote
IS
2010
15 years 4 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
170
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
158
click to vote
ADC
2009
Springer
16 years 21 days ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...