7508 search results - page 133 / 1502 » A new approach for distributed computing in avionics systems |
186
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
175
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
We believe that navigation in information spaces is best supported by tapping into our natural spatial and geographic ways of thinking. To this end, we are developing a new comput...
161
click to vote
ICDCS
2008
IEEE
16 years 25 days ago
2008
IEEE
—Many large-scale distributed systems can benefit from a service that allows them to select among alternative nodes based on their relative network positions. A variety of appro...
172
click to vote
PVLDB
2008
15 years 5 months ago
2008
Enterprises may use a service-oriented architecture (SOA) to provide a streamlined interface to their business processes. To scale up the system, each tier in a composite service ...
183
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Tor, a distributed Internet anonymizing system, relies on volunteers who run dedicated relays. Other than altruism, these volunteers have no incentive to run relays, causing a lar...