1856 search results - page 235 / 372 » Formal Dialectic Specification |
146
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
138
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
While many fields have well-defined research agendas, evolution of the field of digital forensics has been largely driven by practitioners in the field. As a result, the majority ...
124
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
Successful eLearning is predicated on the application of pedagogies appropriate to online education that respond to the capabilities and needs of the learners. Typically, designing...
137
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
134
Voted
AIME
2007
Springer
15 years 10 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...