686 search results - page 104 / 138 » Foundations for Bidirectional Programming |
OTM
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we introduce Web Objects in XML (WOX) as a web protocol for distributed objects, which uses HTTP as its transport protocol and XML as its format representation. It al...
97
Voted
STACS
2007
Springer
15 years 3 months ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
ICPP
2005
IEEE
15 years 3 months ago
2005
IEEE
Empirical performance evaluation of parallel systems and applications can generate significant amounts of performance data and analysis results from multiple experiments as perfo...
SIGCSE
2005
ACM
15 years 3 months ago
2005
ACM
Information technology projects are growing in complexity and require teams to solve problems and develop solutions. With current undergraduate, computer science and information s...
78
Voted
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...