7139 search results - page 1010 / 1428 » Language Engineering in Practice |
157
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
214
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
243
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
The new hybrid clone detection tool NICAD combines the strengths and overcomes the limitations of both textbased and AST-based clone detection techniques to yield highly accurate ...
176
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Detecting the presence of buffer overflow attacks in network messages has been a major focus. Only knowing whether a message contains an attack, however, is not always enough to m...
167
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...