1837 search results - page 170 / 368 » Abstraction and the C Machine Model |
213
click to vote
IWACA
1994
15 years 10 months ago
1994
Abstract. Object-oriented design principles map well onto protocol implementations because protocols essentially manipulate two structures--packets and the states of the endpoints....
143
click to vote
EHCI
2001
15 years 8 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
156
click to vote
TECS
2008
15 years 6 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
127
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--We address the problem of estimating the shape parameters of seismic wavefields using linear arrays of three-component (3C) vector sensors with uncertain acquisition geom...
197
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...