1516 search results - page 175 / 304 » Trends in Software Verification |
JGS
2000
14 years 9 months ago
2000
Abstract: Some ideas are formulated on the challenges presented to GIS, spatial analysis and spatial econometrics that result from recent trends in social science research. These n...
GI
2010
Springer
14 years 8 months ago
2010
Springer
: The ongoing trend towards a global services economy creates considerable market opportunities and challenges for providers of Software-as-aService (SaaS). For meeting customer ex...
IJVR
2008
14 years 8 months ago
2008
In the late 90's, the emergence of high-performance 3D commodity graphics cards paved the way to the use of PC clusters for high-performance Virtual Reality (VR) applications....
ENTCS
2010
14 years 7 months ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
JMLR
2010
14 years 4 months ago
2010
This paper describes a set of visualization tools which aid the understanding of discussion topics and trends in online discussion forums. The tools integrate into the forum'...