586 search results - page 111 / 118 » Model-Driven User Requirements Specification using SysML |
162
click to vote
MM
2010
ACM
15 years 2 months ago
2010
ACM
In this technical demonstration we show an integrated web system for video search and annotation based on ontologies. The system is composed by three components: the Orione1 ontol...
134
Voted
VSTTE
2010
Springer
15 years 7 days ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
142
Voted
CONEXT
2009
ACM
15 years 3 months ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...
125
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Phylogenetic analyses of protein families are used to define the evolutionary relationships between homologous proteins. The interpretation of protein-sequence phyloge...
133
Voted
BMCBI
2004
15 years 2 months 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...