2902 search results - page 370 / 581 » Software Product Lines |
191
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
165
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
168
click to vote
DOLAP
2009
ACM
16 years 1 months ago
2009
ACM
Testing is an essential part of the design life-cycle of any software product. Nevertheless, while most phases of data warehouse design have received considerable attention in the...
164
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
179
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
— Zigbee has been touted as a technology that can be embedded in a wide range of products and applications across consumer, commercial, industrial and government markets. However...