794 search results - page 86 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
114
Voted
BMCBI
2004
15 years 14 days ago
2004
Background: Array comparative genomic hybridization (CGH) is a technique which detects copy number differences in DNA segments. Complete sequencing of the human genome and the dev...
CLEF
2009
Springer
15 years 1 months ago
2009
Springer
This paper describes our experiments in Geographical Information Retrieval with the Wikipedia collection in the context of our participation in the GikiCLEF 2009 Multilingual task...
ICSE
2003
IEEE-ACM
16 years 21 days ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
116
click to vote
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
92
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...