4211 search results - page 70 / 843 » A formal approach to MASQ |
ASPDAC
2009
ACM
14 years 3 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
SSD
1993
Springer
14 years 3 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
FORTE
2007
14 years 14 days ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
IEEEICCI
2005
IEEE
14 years 4 months ago
2005
IEEE
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
SERVICES
2010
14 years 14 days ago
2010
In this paper, we propose an approach based on Formal Concept Analysis in order to organize the services registry at runtime and to allow the "best" service selection am...