3819 search results - page 560 / 764 » An Outsourcing Model of Software Development |
165
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
160
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
174
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
170
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: The detection of small yet statistically significant differences in gene expression in spotted DNA microarray studies is an ongoing challenge. Meeting this challenge r...
155
click to vote
VRST
2006
ACM
15 years 11 months ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...