Miscellaneous Code and Docs
-
Updated
Dec 11, 2023 - C
Miscellaneous Code and Docs
An ActiveX control library for Visual Basic 6 that contains various kinds of text boxes.
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
A Windows extension that is used to open applications quickly through context menu.
We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces…
One-Stage HOI detection code: Visual Compositional Learning for Human-Object Interaction Detection (ECCV2020), Affordance Transfer Learning for Human-Object Interaction Detection (CVPR2021)
An ActiveX control for Visual Basic 6 that can be used for Office-like text editing.
An ActiveX control library for Visual Basic 6 that contains add-on controls for ExplorerListView and ExplorerTreeView to use them for browsing the shell namespace.
An ActiveX control library for Visual Basic 6 that contains various kinds of combo boxes and list boxes.
An ActiveX control library for Visual Basic 6 that contains a rebar and a tool bar control.
An ActiveX control library for Visual Basic 6 that contains various kinds of buttons, check boxes, radio buttons and frames.
A Windows extension that is used to copy file(s)'s path through context menu.
An ActiveX control for Visual Basic 6 that can be used as a status bar.
Towards a Model-Driven Web Engineering for current needs and trends
Add a description, image, and links to the atl topic page so that developers can more easily learn about it.
To associate your repository with the atl topic, visit your repo's landing page and select "manage topics."