Sciweavers

162 search results - page 18 / 33
» Constructs for Building Complex Symbolic-Connectionist Syste...
Sort
View
CAI
2010
Springer
13 years 5 months ago
Achieving Cost-Effective Software Reliability Through Self-Healing
Heterogeneity, mobility, complexity and new application domains raise new software reliability issues that cannot be met cost-effectively only with classic software engineering ap...
Alessandra Gorla, Mauro Pezzè, Jochen Wuttk...
LOBJET
2000
140views more  LOBJET 2000»
13 years 7 months ago
Early Measures for UML Class Diagrams
:Building software models before implementing them has become widely accepted in the software industry. Object models, graphically represented by class diagrams, lay the foundation...
Marcela Genero, Mario Piattini, Coral Calero
CPAIOR
2010
Springer
13 years 5 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
HICSS
2003
IEEE
99views Biometrics» more  HICSS 2003»
14 years 25 days ago
Towards Feasible Topology Formation Algorithms for Bluetooth-based WPANs
In this paper, we tackle the problem of topology formation in Bluetooth Wireless Personal Area Networks (BTWPANs). We first overview and extend a previously proposed centralized ...
Carla-Fabiana Chiasserini, Marco Ajmone Marsan, El...
CSMR
2007
IEEE
14 years 1 months ago
Example-Driven Reconstruction of Software Models
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
Oscar Nierstrasz, Markus Kobel, Tudor Gîrba,...