Sciweavers

3907 search results - page 337 / 782
» Information requirements engineering for data warehouse syst...
Sort
View
IFIP13
2004
15 years 8 months ago
Formal Verification and Validation of Interactive Systems Specifications
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
Yamine Aït Ameur, Benoit Breholée, Pat...
ICDE
2010
IEEE
214views Database» more  ICDE 2010»
15 years 7 months ago
The Entity Name System: Enabling the web of entities
— We are currently witnessing an increasing interest in the use of the web as an information and knowledge source. Much of the information sought after in the web is in this case...
Heiko Stoermer, Themis Palpanas, George Giannakopo...
154
Voted
IFIP
2009
Springer
16 years 1 months ago
Towards a Type System for Security APIs
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
Gavin Keighren, David Aspinall, Graham Steel
149
Voted
CHI
2010
ACM
15 years 10 months ago
Remote skincare advice system using life logs
Many women find it difficult to maintain beautiful skin since different skincare approaches require different amounts of effort, time, and special knowledge. Women often ask exper...
Maki Nakagawa, Koji Tsukada, Itiro Siio
GI
2008
Springer
15 years 7 months ago
AR Binocular: Augmented Reality System for nautical navigation
: A realtime Augmented Reality binocular for the assistance of nautical staff is presented. AR systems combine the real environment with additional information. Nautical sea chart ...
Kristine Haase, Reinhard Koch