1635 search results - page 121 / 327 » DIPC: A System Software Solution for Distributed Programming |
122
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The steel production of the German company Saarstahl AG, a global respected steel manufacturer, represents a Supply Chain which comprehends several time-critical and highly interf...
111
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
144
Voted
WIKIS
2005
ACM
15 years 8 months ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
126
Voted
ATAL
2011
Springer
14 years 2 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
146
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...