Sciweavers

1076 search results - page 145 / 216
» Supporting Design Patterns with Annotations
Sort
View
FIW
2007
157views Communications» more  FIW 2007»
15 years 4 months ago
Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
Roberto Silveira Silva Filho, David F. Redmiles
IIWAS
2004
15 years 4 months ago
'SemanticLIFE' - A Framework for Managing Information of A Human Lifetime
The `SemanticLIFE' system is designed to store, manage and retrieve ones lifetime's information entities. It enables the acquisition and storage of data while giving ann...
Mansoor Ahmed, Hanh Huu Hoang, Muhammad Shuaib Kar...
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
14 years 10 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
HT
2011
ACM
14 years 6 months ago
Automatic mining of cognitive metadata using fuzzy inference
Personalized search and browsing is increasingly vital especially for enterprises to able to reach their customers. Key challenge in supporting personalization is the need for ric...
Melike Sah, Vincent Wade
CVPR
1998
IEEE
16 years 5 months ago
Using Adaptive Tracking to Classify and Monitor Activities in a Site
We describe a vision system that monitors activity in a site over extended periods of time. The system uses a distributed set of sensors to cover the site, and an adaptive tracker...
W. Eric L. Grimson, Chris Stauffer, R. Romano, L. ...