Sciweavers

12753 search results - page 246 / 2551
» or 2002
Sort
View
ENTCS
2002
67views more  ENTCS 2002»
13 years 9 months ago
Systematic Component Adaptation
Andrea Bracciali, Antonio Brogi, Carlos Canal
ENTCS
2002
69views more  ENTCS 2002»
13 years 9 months ago
Tiling Transactions in Rewriting Logic
Roberto Bruni, José Meseguer, Ugo Montanari
ENTCS
2002
56views more  ENTCS 2002»
13 years 9 months ago
Using Assumptions to Distribute CTL Model Checking
Lubos Brim, Jitka Crhova, Karen Yorav
ENTCS
2002
97views more  ENTCS 2002»
13 years 9 months ago
Semantic domains for Handel-C
Andrew Butterfield, Jim Woodcock