1959 search results - page 23 / 392 » Concerned About Separation |
108
click to vote
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
EDO
2000
Springer
15 years 3 months ago
2000
Springer
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industr...
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
Information about various visual attributes orientation and color is represented in the primate striate cortex (V1) before reaching extrastriate cortices. An important question re...
AH
2006
Springer
15 years 5 months ago
2006
Springer
Users often revisit pages while browsing the Web, yet little is known on the character of these revisits. In this paper we present an analysis of various revisit activities, based ...
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....