Sciweavers

120 search results - page 15 / 24
» Evolving and Analysing
Sort
View
ICSE
2010
IEEE-ACM
14 years 2 months ago
AURA: a hybrid approach to identify framework evolution
Software frameworks and libraries are indispensable to today’s software systems. As they evolve, it is often timeconsuming for developers to keep their code up-to-date, so appro...
Wei Wu, Yann-Gaël Guéhéneuc, Gi...
TAPSOFT
1997
Springer
14 years 1 months ago
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
Danièle Beauquier, Anatol Slissenko
AUSFORENSICS
2004
13 years 11 months ago
To Revisit: What is Forensic Computing?
The increase in incidence of criminal, illegal and inappropriate computer behaviour has resulted in organisations forming specialist teams to investigate these behaviours. Academi...
Mathew Hannan
FEGC
2006
92views Biometrics» more  FEGC 2006»
13 years 11 months ago
Maintaining an Online Bibliographical Database: The Problem of Data Quality
CiteSeer and Google-Scholar are huge digital libraries which provide access to (computer-)science publications. Both collections are operated like specialized search engines, they ...
Michael Ley, Patrick Reuther
ECSCW
2001
13 years 11 months ago
Cognitive properties of a whiteboard: A case study in a trauma centre
Distributed cognition as an approach to collaborative work holds that a work unit is cognitive system in which cognitive activities are carried out jointly by workers with the use ...
Yan Xiao, Caterina Lasome, Jacqueline A. Moss, Col...