Sciweavers

3948 search results - page 665 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
SCP
2010
154views more  SCP 2010»
15 years 4 months ago
An algebraic foundation for automatic feature-based program synthesis
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
Sven Apel, Christian Lengauer, Bernhard Mölle...
TVCG
2010
118views more  TVCG 2010»
15 years 4 months ago
A Curved Ray Camera for Handling Occlusions through Continuous Multiperspective Visualization
—Most images used in visualization are computed with the planar pinhole camera. This classic camera model has important advantages such as simplicity, which enables efficient sof...
Jian Cui, Paul Rosen, Voicu Popescu, Christoph M. ...
BIS
2010
197views Business» more  BIS 2010»
15 years 4 months ago
Ubiquitous Microblogging: A Flow-Based Front-End for Information Logistics
The success of information supply strongly depends on successful user adoption. This especially is the case for the integration of non-human information sources deriving from ubiqu...
Martin Böhringer, Martin Gaedke
ICCAD
2010
IEEE
186views Hardware» more  ICCAD 2010»
15 years 4 months ago
Efficient state space exploration: Interleaving stateless and state-based model checking
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
Malay K. Ganai, Chao Wang, Weihong Li
SIGSOFT
2010
ACM
15 years 4 months ago
Software is data too
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
Andrian Marcus, Tim Menzies