1631 search results - page 300 / 327 » Software engineering technology watch |
142
Voted
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
129
Voted
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
184
click to vote
EDO
2006
Springer
15 years 5 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
164
click to vote
DOLAP
2005
ACM
15 years 3 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
128
click to vote
SAC
2010
ACM
14 years 11 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...