Sciweavers

2613 search results - page 129 / 523
» Active Software Artifacts
Sort
View
PERVASIVE
2008
Springer
15 years 6 months ago
Rapid Prototyping of Activity Recognition Applications
The Context Recognition Network (CRN) Toolbox permits fast implementation of activity and context recognition systems. It utilizes parameterizable and reusable software components...
David Bannach, Oliver Amft, Paul Lukowicz
TOOLS
2009
IEEE
16 years 1 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...
PERCOM
2003
ACM
15 years 11 months ago
An Architecture that Treats Everyday Objects as Communicating Tangible Components
The paper describes research that has been carried out in “extrovert-Gadgets”, a research project funded in the context of EU IST/FET proactive initiative “Disappearing Comp...
Achilles Kameas, Stephen J. Bellis, Irene Mavromma...
SOFTVIS
2010
ACM
15 years 6 months ago
CodePad: interactive spaces for maintaining concentration in programming environments
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
Chris Parnin, Carsten Görg, Spencer Rugaber
ASE
2008
102views more  ASE 2008»
15 years 6 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce