I checked Aldec's Floating License Installation page. In the middle of the page it says you need Aldec's License daemon package including:
ALDEC.exe - Aldec's license daemon lmgrd.exe - license manager daemon lmtools.exe - license administration tool startlicense.bat - a batch file for starting the license server stoplicense.bat - a batch file for stopping the license server
The red files are only available in Aldec Downloads Page. I don't have access to that page.