43 search results - page 9 / 9 » Compositional reasoning for port-based distributed systems |
BIRTHDAY
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
The effects of neutrality on evolutionary search have been considered in a number of interesting studies, the results of which, however, have been contradictory. Some researchers ...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
Commercial aerial imagery websites, such as Google Maps, MapQuest, Microsoft Virtual Earth, and Yahoo! Maps, provide high- seamless orthographic imagery for many populated areas, ...