2245 search results - page 138 / 449 » A Case Study Implementing Features Using AspectJ |
156
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
174
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
148
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Several studies dealt with medical ultrasound registration. Their similarity metrics relied on pixel-to-pixel intensity comparisons. Hence, they are not well suited to the case...
215
click to vote
SMALLTALK
2007
Springer
15 years 11 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
125
click to vote
AEI
2004
15 years 4 months ago
2004
The estimation of productivity rates in cyclic construction processes is a difficult, but essential task in the planning of construction projects. The conventional method--a calcu...