15777 search results - page 2709 / 3156 » The Reformulation-Optimization Software Engine |
176
Voted
VMCAI
2009
Springer
16 years 27 days ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
165
Voted
COMPSAC
2009
IEEE
16 years 27 days ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
171
click to vote
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
165
Voted
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...
174
click to vote
ICSEA
2009
IEEE
16 years 24 days ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...