2984 search results - page 304 / 597 » Method engineering process patterns |
132
Voted
ICIP
2002
IEEE
16 years 4 months ago
2002
IEEE
The approximation of surfaces to scattered data is an important problem encountered in a variety of scientific applications, such as reverse engineering, computer vision, computer...
89
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
147
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
256
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
We have developed a system to process database queries over composed data providing web services. The queries are transformed into execution plans containing an operator that invok...
152
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Credit assignment is a fundamental issue for the Learning Classifier Systems literature. We engage in a detailed investigation of credit assignment in one recent system called UC...