1522 search results - page 159 / 305 » Practical Exception Specifications |
137
click to vote
BIS
2008
15 years 3 months ago
2008
Abstract. Communities on the Web capture, represent, and evolve their knowledge using ontologies, either explicitly or implicitly. The Gene Ontology project is a typical and advanc...
150
click to vote
IPCV
2008
15 years 3 months ago
2008
The main objective of this paper is to provide an efficient tool for delineating brain tumors in three-dimensional magnetic resonance images. To achieve this goal, we use basically...
118
click to vote
SERVICES
2008
15 years 3 months ago
2008
Service-oriented computing and the ensuing science of services represent significant challenges to academia. As we come to grips with its many implications, we are slowly beginnin...
SPLC
2008
15 years 3 months ago
2008
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
139
click to vote
SPLC
2008
15 years 3 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...