4880 search results - page 744 / 976 » Manuals as Structured Programs |
184
click to vote
ICSR
2004
Springer
15 years 12 months ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
152
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
162
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
173
click to vote
MPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
151
click to vote
PVM
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...