119 search results - page 6 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
136
click to vote
MVA
2000
15 years 5 months ago
2000
Content-based image retrieval is a fairly new discipline. Yet research in this field has highlighted many approaches that show good performance in specific subproblems using singl...
184
click to vote
LCPC
1992
Springer
15 years 8 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
123
click to vote
ROOM
2000
15 years 5 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
114
click to vote
MPC
1992
Springer
15 years 8 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
157
click to vote
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...