3799 search results - page 631 / 760 » An Engineering Approach to Formal Methods |
134
click to vote
AAAI
2010
15 years 6 months ago
2010
In order to improve the user search experience, Query Suggestion, a technique for generating alternative queries to Web users, has become an indispensable feature for commercial s...
165
click to vote
VISSYM
2004
15 years 6 months ago
2004
Isosurfacing, by itself, is a common visualization technique for investigating 3D vector fields. Applying texturebased flow visualization techniques to isosurfaces provides engine...
132
click to vote
CSUR
2000
15 years 4 months ago
2000
: Object-oriented frameworks have extended reusability of software from code modules to architectural and domain information. This paper further extends software reusability from c...
134
Voted
TOSEM
2010
15 years 3 months ago
2010
e, or XPI. XPIs abstract crosscutting behaviors and make these abstractions explicit. XPIs can be used, albeit with limited enforcement of interface rules, with existing AOP langua...
159
click to vote
JGO
2011
14 years 7 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...