549 search results - page 58 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
137
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
142
click to vote
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
138
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
113
click to vote
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
145
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...