2448 search results - page 309 / 490 » The Octahedron Abstract Domain |
116
Voted
HT
1998
ACM
15 years 5 months ago
1998
ACM
The historical development of hypermedia systems can be rized as a series of successive abstractions of functionality away from the "core" hypermedia server, often resul...
127
Voted
IFL
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
151
click to vote
ECMDAFA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
93
Voted
EWSA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
122
click to vote
COORDINATION
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...