2702 search results - page 279 / 541 » Practically Applicable Formal Methods |
115
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
106
Voted
RECOMB
2004
Springer
16 years 2 months ago
2004
Springer
Identifying gene clusters, genomic regions that share local similarities in gene organization, is a prerequisite for many different types of genomic analyses, including operon pred...
134
Voted
FMLDO
1999
Springer
15 years 6 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
123
click to vote
RE
1997
Springer
15 years 6 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
138
Voted
JUCS
2002
15 years 2 months ago
2002
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...