3799 search results - page 612 / 760 » An Engineering Approach to Formal Methods |
161
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we present an approach for monitoring the positions of vector field singularities in time-dependent datasets. The concept of singularity index is discussed and exte...
157
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
We investigate two important, common fluid flow patterns from computational fluid dynamics (CFD) simulations, namely, swirl and tumble motion typical of automotive engines. We stu...
142
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
The presence of replicas or near-replicas of documents is very common on the Web. Documents may be replicated completely or partially for different reasons (versions, mirrors, etc...
135
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
151
click to vote
FASE
2010
Springer
15 years 12 months ago
2010
Springer
Good resource scheduling plays a pivotal role in successful software development projects. However, effective resource scheduling is complicated by such disruptions as requirements...