12084 search results - page 348 / 2417 » Effect Systems with Subtyping |
180
Voted
IJNSEC
2006
15 years 7 months ago
2006
Cluster systems have been gradually more popular and are being broadly used in a variety of applications. On the other hand, many of those systems are not tolerant to system failu...
197
Voted
ETT
2000
15 years 7 months ago
2000
Spread spectrum multi-carrier multiple access (SS-MC-MA) systems exploit in a similar manner as MC-CDMA systems the advantages of the diversity gain due to the spread spectrum tech...
180
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
213
Voted
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
222
click to vote
JCAL
2010
15 years 2 months ago
2010
Personalized instruction is seen as a desideratum of today's e-learning systems. The focus of this paper is on those platforms that use learning styles as personalization crit...