412 search results - page 70 / 83 » Incremental Clone Detection |
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
MEMOCODE
2008
IEEE
14 years 2 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Recently, the bag-of-words approach has been successfully applied to automatic image annotation, object recognition, etc. The method needs to first quantize an image using the vis...
ICNP
2007
IEEE
14 years 2 months ago
2007
IEEE
— We present a new approach for generating virtual coordinates that produces usable coordinates quickly and improves the routing performance of existing geographic routing algori...
ICON
2007
IEEE
14 years 2 months ago
2007
IEEE
—Inter-domain routing is suffering from the lack of identifiers for the rapidly growing number of Autonomous Systems (AS), and therefore the 4-byte AS number has been proposed a...