1321 search results - page 207 / 265 » Subtyping in Logical Form |
174
click to vote
CCGRID
2007
IEEE
16 years 19 days ago
2007
IEEE
: Existing Content Delivery Networks (CDNs) exhibit the nature of closed delivery networks which do not cooperate with other CDNs and in practice, islands of CDNs are formed. The l...
162
click to vote
FUZZIEEE
2007
IEEE
16 years 18 days ago
2007
IEEE
—In the past, we proposed a genetic-fuzzy data-mining algorithm for extracting both association rules and membership functions from quantitative transactions under a single minim...
147
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
187
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
156
click to vote
FSKD
2007
Springer
16 years 13 days ago
2007
Springer
The selection of web services according to different quality of service (QoS) is one of the most important decision issues for which complex considerations are involved. In many c...