1413 search results - page 81 / 283 » Bisimilarity of Open Terms |
267
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
Evaluation of IR systems has always been difficult because of the need for manually assessed relevance judgments. The advent of large editor-driven taxonomies on the web opens the...
156
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Due to the expensiveness of compiling and executing a large number of mutants, it is usually necessary to select a subset of mutants to substitute the whole set of generated mutan...
153
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we discuss the recent ESG’s development and implementation efforts concerning its authentication infrastructure. ESG’s requirements are to make the user’s log...
176
click to vote
ISCC
2000
IEEE
15 years 10 months ago
2000
IEEE
With a changing structure of networks and application systems due to the requirements of decentralised enterprises and open service markets, distributed systems with rapidly incre...
162
click to vote
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotoni...