91 search results - page 7 / 19 » Overcoming Heterophobia: Modeling Concurrency in Heterogeneo... |
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
114
click to vote
ERSA
2003
15 years 1 months ago
2003
The Software Communications Architecture (SCA), a mandatory specification for Software Radio implementations by the Joint Tactical Radio System (JTRS), defines a Common Object R...
102
click to vote
EDBTW
2004
Springer
15 years 5 months ago
2004
Springer
Many users and applications require the integration of semi-structured data from autonomous, heterogeneous Web sources. Over the last years mediator systems have emerged that use d...
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
106
click to vote
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...