1856 search results - page 235 / 372 » Formal Dialectic Specification |
180
click to vote
ESOP
2010
Springer
16 years 3 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...
169
click to vote
HICSS
2009
IEEE
16 years 1 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 ...
157
click to vote
AH
2008
Springer
16 years 25 days 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...
160
click to vote
TASE
2007
IEEE
16 years 22 days 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 ...
167
click to vote
AIME
2007
Springer
16 years 20 days 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...