3799 search results - page 539 / 760 » An Engineering Approach to Formal Methods |
170
click to vote
ISPASS
2006
IEEE
16 years 18 days ago
2006
IEEE
SimPoint is a technique used to pick what parts of the program’s execution to simulate in order to have a complete picture of execution. SimPoint uses data clustering algorithms...
165
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
210
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
291
click to vote
AROBOTS
2011
15 years 1 months ago
2011
— To effectively navigate in their environments and accurately reach their target locations, mobile robots require a globally consistent map of the environment. The problem of le...
210
click to vote
ACL
2011
14 years 10 months ago
2011
Most previous work on multilingual sentiment analysis has focused on methods to adapt sentiment resources from resource-rich languages to resource-poor languages. We present a nov...