2853 search results - page 260 / 571 » A platform for software engineering research |
113
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
140
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Developments in higher education have driven interest in personalised education. Concomitant with these developments are the evolving capabilities of mobile technologies. Context ...
147
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
104
click to vote
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...