8154 search results - page 1299 / 1631 » Understanding changes in use cases: A case study |
184
click to vote
GCB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...
183
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
169
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this study we use a fast Fourier spectral technique to simulate the Navier-Stokes equations with no-slip boundary conditions. This is enforced by an immersed boundary technique ...
196
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
206
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...