21430 search results - page 26 / 4286 » Abstract Effective Models |
WSC
1998
14 years 11 months ago
1998
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
plementation from Abstract Architecture Models Ahmed Amine Jerraya TIMA Laboratory - 46, av. Félix Viallet - 38031 Grenoble – France
85
Voted
ASM
2003
ASM
15 years 3 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
72
Voted
APAL
2006
14 years 10 months ago
2006
CITY IN ABSTRACT ELEMENTARY CLASSES WITH NO MAXIMAL MODELS MONICA VANDIEREN Abstract. The results in this paper are in a context of abstract elementary classes identified by Shelah...