Sciweavers

2 search results - page 1 / 1
» xlinkit: a consistency checking and smart link generation se...
Sort
View
11
Voted
TOIT
2002
66views more  TOIT 2002»
13 years 4 months ago
xlinkit: a consistency checking and smart link generation service
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technol...
Christian Nentwich, Licia Capra, Wolfgang Emmerich...
ASM
2010
ASM
13 years 11 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...