9821 search results - page 1883 / 1965 » A Framework for the Development of Protocols |
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
ISSTA
2009
ACM
14 years 3 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...
MOBIDE
2009
ACM
14 years 3 months ago
2009
ACM
The explosive growth of location-detection devices, wireless communications, and mobile databases has resulted in the realization of location-based services as commercial products...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
While many role mining algorithms have been proposed in recent years, there lacks a comprehensive study to compare these algorithms. These role mining algorithms have been evaluat...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
Query log analysis has received substantial attention in recent years, in which the click graph is an important technique for describing the relationship between queries and URLs....