237 search results - page 12 / 48 » Ensuring Correctness at the Application Level: a Software Fr... |
AOSD
2008
ACM
13 years 8 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
AAI
1999
1999
Multilingual Natural Language Generation for Multilingual Software: A Functional Linguistic Approach
13 years 6 months ago
In this paper we present an implemented account of multilingual linguistic resources for multilingual text generation that improves significantly on the degree of re-use of resour...
MICCAI
2010
Springer
13 years 4 months ago
2010
Springer
From the image analysis perspective, a disadvantage of MRI is the lack of image intensity standardization. Differences in coil sensitivity, pulse sequence and acquisition parameter...
AICT
2005
IEEE
14 years 10 days ago
2005
IEEE
Due to the increasing use of service level agreements for the provisioning of IT services, providers have to ensure that the guarantees for the quality of their offered services, ...
UML
2001
Springer
13 years 11 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...