6608 search results - page 1155 / 1322 » On the Completeness of Model Checking |
157
click to vote
WETICE
2006
IEEE
15 years 10 months ago
2006
IEEE
— Within service-oriented business environments, the non-routine processing of requests requires a greater degree of social interaction and learning in order to achieve an effect...
131
click to vote
WIOPT
2006
IEEE
15 years 10 months ago
2006
IEEE
— Channel-aware scheduling strategies provide an effective mechanism for improving the throughput performance in wireless data networks by exploiting channel fluctuations. The p...
136
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
XML transformations are most naturally defined as recursive functions on trees. Their direct implementation, however, causes inefficient memory usage because the input XML tree is...
126
click to vote
NSPW
2006
ACM
15 years 10 months ago
2006
ACM
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
143
click to vote
SPAA
2006
ACM
15 years 10 months ago
2006
ACM
Suppose we have a parallel or distributed system whose nodes have limited capacities, such as processing speed, bandwidth, memory, or disk space. How does the performance of the s...