579 search results - page 67 / 116 » Intersecting Classes and Prototypes |
ICDCSW
2002
IEEE
14 years 24 days ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
HUC
2009
Springer
14 years 14 days ago
2009
Springer
Public displays are becoming increasingly commonplace, yet recent studies place the effectiveness and user acceptance of them into doubt. This paper motivates the need for a new c...
LOPSTR
2001
Springer
14 years 8 days ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
AMAST
1998
Springer
14 years 2 days ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
PLDI
1998
ACM
14 years 2 days ago
1998
ACM
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...