1018 search results - page 103 / 204 » Generative unbinding of names |
BIRTHDAY
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The Clio project provides tools that vastly simplify information integration. Information integration requires data conversions to bring data in different representation...
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
TASE
2008
IEEE
14 years 3 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...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes the design and development of a software system to support law enforcement in investigating and prosecuting email based crimes. It focuses on phishing scams w...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in resp...