Sciweavers

1809 search results - page 168 / 362
» A Formal Specification of dMARS
Sort
View
HICSS
2009
IEEE
113views Biometrics» more  HICSS 2009»
14 years 4 months ago
Digital Forensics: Defining a Research Agenda
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 ...
Kara L. Nance, Brian Hay, Matt Bishop
AH
2008
Springer
14 years 3 months ago
Supporting Users in Creating Pedagogically Sound Personalised Learning Objects
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...
Aoife Brady, Owen Conlan, Vincent Wade, Declan Dag...
TASE
2007
IEEE
14 years 3 months ago
Commutability of Design Pattern Instantiation and Integration
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 ...
Jing Dong, Tu Peng, Zongyan Qiu
AIME
2007
Springer
14 years 3 months ago
Learning Medical Ontologies from the Web
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
David Sánchez, Antonio Moreno
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
14 years 3 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko