536 search results - page 14 / 108 » Reusing Models of Different Abstraction Levels |
117
click to vote
AEI
2010
15 years 5 months ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
163
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
151
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
159
click to vote
PIMRC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--This paper addresses the fairness of Medium Access Control (MAC) protocols that are capable of handling interference on the physical layer to a varying extent. The variat...
141
click to vote
FOSSACS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...