Sciweavers

5269 search results - page 698 / 1054
» order 2007
Sort
View
HASE
2007
IEEE
16 years 1 months ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
HICSS
2007
IEEE
172views Biometrics» more  HICSS 2007»
16 years 1 months ago
Support for Computer Forensics Examination Planning with Domain Modeling: A Report of One Experiment Trial
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...
Alfred C. Bogen, David A. Dampier, Jeffrey C. Carv...
HICSS
2007
IEEE
153views Biometrics» more  HICSS 2007»
16 years 1 months ago
Mobile TV - To Live or Die by Content
Mobile TV is described as a natural and evolutionary next step as mobile phones get more multimedia features. Mobile network operators expect mobile TV to support the adoption of ...
Christer Carlsson, Pirkko Walden
HICSS
2007
IEEE
114views Biometrics» more  HICSS 2007»
16 years 1 months ago
Consumers' Interest in Personalized Recommendations: The Role of Product-Involvement and Opinion Seeking
The best recommender system is useless if consumers are not interested in its recommendations. Hence it is vital for e-commerce operators who apply recommender systems to get insi...
Nicolas Knotzer, Maria Madlberger
HICSS
2007
IEEE
119views Biometrics» more  HICSS 2007»
16 years 1 months ago
Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture
With the recent advances in mobile technologies and infrastructures, citizens start to demand for not just mobile but also ubiquitous access to e-government services. Further with...
Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleann...