1678 search results - page 208 / 336 » An ASM Specification of C |
174
click to vote
DAIS
2006
15 years 7 months ago
2006
Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...
154
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
186
click to vote
BDA
2001
15 years 7 months ago
2001
Community Web Portals (e.g., digital libraries, vertical aggregators, infomediaries) have become quite popular nowadays in supporting specific communities of interest on corporate...
137
click to vote
COOTS
2001
15 years 7 months ago
2001
Mainstream object-oriented languages, such as C++ and Java1 , provide only a restricted form of polymorphic methods, namely uni-receiver dispatch. In common programming situations...
146
click to vote
ICVGIP
2004
15 years 7 months ago
2004
This paper presents several results on images of various configurations of conics. We extract information about the plane from single and multiple views of known and unknown conic...