10159 search results - page 1975 / 2032 » System Design Validation Using Formal Models |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
Abstract: Today, most Internet applications still establish user authentication with traditional text based passwords. Designing a secure as well as a user-friendly password-based ...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, we propose an analytical technique to evaluate the statistics of the channel estimation error in a simple multi-user ad hoc networking scenario. This problem is v...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Multimedia social network analysis is an emerging research area, which analyzes the behavior of users who share multimedia content and investigates the impact of human dynamics on...
ICEIS
2008
IEEE
14 years 2 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...