Sciweavers

1213 search results - page 79 / 243
» Traceability for System Families
Sort
View
AISC
1992
Springer
15 years 4 months ago
A Type-Coercion Problem in Computer Algebra
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
Andreas Weber
SMC
2007
IEEE
102views Control Systems» more  SMC 2007»
15 years 6 months ago
TagFree: Identifying users without tags in smart home environments
— Since family members have their unique features when living in a smart home environment, user identifications are able to achieve without any tags. In this paper, we propose T...
Wen-Chih Peng, Wangling Huang, YiLing Chen, PeiChi...
CHI
2004
ACM
16 years 7 days ago
Supporting social presence through lightweight photo sharing on and off the desktop
Lightweight photo sharing, particularly via mobile devices, is fast becoming a common communication medium used for maintaining a presence in the lives of friends and family. How ...
Scott Counts, Eric Fellheimer
OOPSLA
2009
Springer
15 years 6 months ago
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
Marwan Abi-Antoun, Jonathan Aldrich
AOSD
2003
ACM
15 years 5 months ago
Modularisation and composition of aspectual requirements
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
Awais Rashid, Ana M. D. Moreira, João Ara&u...