378 search results - page 49 / 76 » Formalizing Spider Diagrams |
163
click to vote
AICT
2006
IEEE
16 years 3 days ago
2006
IEEE
This paper presents our approach for grid monitoring: A contextual grid monitoring by a model driven approach. Our approach consists in supervising an entity by taking into accoun...
165
click to vote
ICECCS
2006
IEEE
16 years 3 days ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
152
click to vote
ICEBE
2005
IEEE
15 years 11 months ago
2005
IEEE
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermor...
132
click to vote
MEMOCODE
2005
IEEE
15 years 11 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
176
click to vote
STACS
1991
Springer
15 years 9 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....