4880 search results - page 194 / 976 » Manuals as Structured Programs |
188
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper proposes a method of automated individualization of eye region model. The eye region model has been proposed in past research that parameterizes both the structure and ...
185
click to vote
AOSD
2006
ACM
16 years 29 days ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
197
click to vote
GCSE
1999
Springer
15 years 11 months ago
1999
Springer
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
194
Voted
TACS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
165
Voted
CEFP
2009
Springer
15 years 4 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...