3931 search results - page 749 / 787 » Separation logic and abstraction |
IASTEDSEA
2004
13 years 11 months ago
2004
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
IJIT
2004
13 years 11 months ago
2004
Abstract-- Biological sequences from different species are called orthologs if they evolved from a sequence of a common ancestor species and they have the same biological function....
DICTA
2003
13 years 11 months ago
2003
Abstract. This paper describes methods of extracting region boundaries from the frames of an image sequence by combining information from spatial or temporal cooccurrence matrices ...
AAAI
2000
13 years 11 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
OSDI
2000
ACM
13 years 11 months ago
2000
ACM
Single-language runtime systems, in the form of Java virtual machines, are widely deployed platforms for executing untrusted mobile code. These runtimes provide some of the featur...