Sciweavers

4258 search results - page 484 / 852
» Languages and Interactive Software Development
Sort
View
138
Voted
IRI
2003
IEEE
15 years 10 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
DGO
2010
186views Education» more  DGO 2010»
15 years 5 months ago
Enabling peer review of expert testimony within government proceedings
Having developed Metavid.org, a site that archives video footage of the U.S. Congressional proceedings, we build upon the platform to enable peer review of expert testimony within...
Mark Deckert, Abram Stern, Warren Sack
ICCHP
2010
Springer
15 years 2 months ago
Improving Screen Magnification Using the HyperBraille Multiview Windowing Technique
Abstract. Screen magnification is an important means to support visually impaired people when working with computers. Many improvements have been made on appropriate software. But ...
Christiane Taras, Michael Raschke, Thomas Schlegel...
AOSD
2007
ACM
15 years 8 months ago
Join point selectors
One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut l...
Cristiano Breuel, Francisco Reverbel
ICSE
2003
IEEE-ACM
16 years 4 months ago
Consistency Management with Repair Actions
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
Christian Nentwich, Wolfgang Emmerich, Anthony Fin...