1240 search results - page 166 / 248 » Automatic 3D Modelling of Architecture |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
ICCSA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...
ATVA
2006
Springer
14 years 20 days ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
VECPAR
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Matter in the universe mainly consists of plasma. The dynamics of plasmas is controlled by magnetic fields. To simulate the evolution of magnetised plasma, we solve the e...
IBPRIA
2007
Springer
14 years 3 months ago
2007
Springer
Detection of speckle in ultrasound (US) images has been regarded as an important research topic in US imaging, mainly focusing on two specific applications: improving signal to no...