3441 search results - page 242 / 689 » Provenance of Software Development Processes |
128
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
LREC
2010
15 years 6 months ago
2010
Annotation of digital recordings in humanities research still is, to a large extend, a process that is performed manually. This paper describes the first pattern recognition based...
145
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
135
click to vote
SADFE
2009
IEEE
15 years 11 months ago
2009
IEEE
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...
145
click to vote
BCSHCI
2009
15 years 5 months ago
2009
User modelling is widely used in HCI but there are very few systematic HCI modelling tools for people with disabilities. We are developing user models to help with the design and ...