5378 search results - page 754 / 1076 » Base Logics in Argumentation |
162
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
192
click to vote
HICSS
2005
IEEE
16 years 13 days ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
183
click to vote
P2P
2005
IEEE
16 years 12 days ago
2005
IEEE
A resource directory is a critical component of a Grid architecture. P2P computing paradigm could address some of the scalability issues that make distributed resource discovery s...
168
Voted
VEE
2005
ACM
16 years 11 days ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
183
click to vote
WWW
2005
ACM
16 years 11 days ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...