Sciweavers

11017 search results - page 2043 / 2204
» Closure Systems and their Structure
Sort
View
160
Voted
HICSS
2005
IEEE
143views Biometrics» more  HICSS 2005»
16 years 20 days ago
Strategic Versus Tactical Design
Abstract. We seek to distinguish Strategic design decisions (e.g., to adopt a programming paradigm, architectural style, CBSE standard or application framework) from tactical desig...
Amnon H. Eden
201
Voted
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
16 years 19 days ago
Effective Constrained Dynamic Simulation Using Implicit Constraint Enforcement
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...
Min Hong, Min-Hyung Choi, Sunhwa Jung, Samuel W. J...
220
Voted
IWPSE
2005
IEEE
16 years 19 days ago
EvoLens: Lens-View Visualizations of Evolution Data
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...
Jacek Ratzinger, Michael Fischer, Harald Gall
214
Voted
KBSE
2005
IEEE
16 years 19 days ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander
197
Voted
IUI
2005
ACM
16 years 18 days ago
Intelligent data entry assistant for XML using ensemble learning
XML has emerged as the primary standard of data representation and data exchange [13]. Although many software tools exist to assist the XML implementation process, data must be ma...
Danico Lee, Costas Tsatsoulis
« Prev « First page 2043 / 2204 Last » Next »