7139 search results - page 1017 / 1428 » Language Engineering in Practice |
222
click to vote
DEXAW
2005
IEEE
16 years 16 days ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
179
click to vote
ISPASS
2005
IEEE
16 years 15 days ago
2005
IEEE
As Java is emerging as one of the major programming languages in software development, studying how Java applications behave on recent SMT processors is of great interest. This pa...
168
click to vote
IWPC
2005
IEEE
16 years 15 days ago
2005
IEEE
Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-...
198
click to vote
KBSE
2005
IEEE
16 years 15 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
171
click to vote
QSIC
2005
IEEE
16 years 15 days ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...