7049 search results - page 1204 / 1410 » Data Abstraction for CSP-OZ |
161
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- Internet worms, which spread in computer networks without human mediation, pose a severe threat to computer systems today. The rate of propagation of worms has been meas...
164
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
179
click to vote
CSUR
2006
15 years 6 months ago
2006
resents a perspective on existing NoC research. We define the following abstractions: system, network adapter, network, and link to explain and structure the fundamental concepts. ...
171
click to vote
ECEASST
2006
15 years 6 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
190
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...