1888 search results - page 88 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
108
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
112
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
150
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
161
click to vote
SIGCOMM
2004
ACM
15 years 8 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
145
click to vote
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...