3852 search results - page 486 / 771 » Construction of Codes for Network Coding |
176
click to vote
PTS
1998
15 years 8 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
165
click to vote
PDPTA
2000
15 years 8 months ago
2000
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...
185
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we propose the construction of a visual content layer which describes the visual appearance of geographic locations in a city. We captured, by means of a Mobile Mappi...
184
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
144
Voted
ENTCS
2010
15 years 6 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...