4745 search results - page 321 / 949 » Discretization: An Enabling Technique |
201
click to vote
CDVE
2004
Springer
16 years 3 days ago
2004
Springer
ALTERNE (Alternative Realities in Networked Environments) platform aims at providing a high level of integration between various techniques supporting mixed reality, graphics, inte...
137
click to vote
MICAI
2004
Springer
16 years 1 days ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
168
click to vote
OR
2004
Springer
16 years 1 days ago
2004
Springer
The combination of process integration and Operations Research enables an integrated technique assessment and a subsequent process design. The application of Multi Objective Pinch...
163
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA cl...
147
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Software development needs to be supported at both the organisational process level (programming-for-thelarge) and the detailed coding level (programming-for-thesmall). It is crit...