10916 search results - page 1830 / 2184 » On Constructive Connectives and Systems |
179
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Rich Internet applications are becoming increasingly distributed, as demonstrated by the popularity of AJAX or Web 2.0 applications such as Facebook, Google Maps, Hotmail and many...
180
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
198
Voted
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
174
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
211
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Clustering in Mobile Ad Hoc Networks (MANETs) has shown to be a promising technique to ensure the scalability and efficiency of various communication protocols. Since stations in...