2159 search results - page 194 / 432 » C-K design theory for information systems research |
199
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
198
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
160
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Educational media mining is the process of converting raw media data from educational systems to useful information that can be used to design learning systems, answer research qu...
156
click to vote
ICMI
2005
Springer
16 years 2 days ago
2005
Springer
There are new challenges to us, as researchers, on how to design and evaluate new mobile applications because they give users access to powerful computing devices through small in...
158
click to vote
IEEEPACT
2003
IEEE
15 years 12 months ago
2003
IEEE
Recent research shows that the high occupancy of Coherence Controllers (CCs) is a major performance bottleneck in scalable shared-memory multiprocessors. In this paper, we propose...