236 search results - page 35 / 48 » Model of primary and secondary context |
130
click to vote
EDOC
2004
IEEE
15 years 9 months ago
2004
IEEE
A major contributing factor to the complexity of creating and evolving distributed systems is the tangling of middleware-specific functionality with core business functionality in...
136
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
As DRAM access latencies approach a thousand instructionexecution times and on-chip caches grow to multiple megabytes, it is not clear that conventional cache structures continue ...
129
click to vote
MLQ
2007
15 years 5 months ago
2007
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...
151
click to vote
QI
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
169
click to vote
INFOCOM
2007
IEEE
16 years 9 days ago
2007
IEEE
— We propose a general family of MAC scheduling algorithms that achieve any rate-point on a uniform discretelattice within the throughput-region (i.e., lattice-throughputoptimal)...