1650 search results - page 259 / 330 » The HOM problem is decidable |
111
click to vote
FOCS
1992
IEEE
15 years 8 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
146
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
In some retrieval situations, a system must search across multiple collections. This task, referred to as federated search, occurs for example when searching a distributed index o...
144
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
139
Voted
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Performance and reliability of content access in mobile networks is conditioned jointly by the number and location of content replicas deployed at the network nodes. The...
173
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...