Sciweavers

5423 search results - page 903 / 1085
» Denial-of-service in automation systems
Sort
View
LPAR
2007
Springer
16 years 21 days ago
Completeness and Decidability in Sequence Logic
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
Marc Bezem, Tore Langholm, Michal Walicki
SEKE
2007
Springer
16 years 21 days ago
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools
Reverse Engineering is becoming increasingly important in the software development world today as many organizations are battling to understand and maintain old legacy systems. To...
Steven Kearney, James F. Power
3DPVT
2006
IEEE
160views Visualization» more  3DPVT 2006»
16 years 19 days ago
Geometry Refinement of 3D Surfaces Using Kriging
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
Brad Grinstead, Andreas Koschan, Mongi A. Abidi
3DPVT
2006
IEEE
180views Visualization» more  3DPVT 2006»
16 years 19 days ago
Building a 3D Virtual Museum of Native American Baskets
— In this paper we report our progress in building a system for the acquisition, analysis, and visualization of a collection of Native Californian baskets from the Phoebe A. Hear...
Volkan Isler, Bradford Wilson, Ruzena Bajcsy
AICCSA
2006
IEEE
101views Hardware» more  AICCSA 2006»
16 years 19 days ago
Refactoring Tools and Complementary Techniques
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
Martin Drozdz, Derrick G. Kourie, Bruce W. Watson,...