Sciweavers

2549 search results - page 309 / 510
» Toward a complexity theory of information systems developmen...
Sort
View
CCS
2003
ACM
14 years 1 months ago
Secure protocol composition
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
AVI
2004
13 years 9 months ago
3D location-pointing as a navigation aid in Virtual Environments
The navigation support provided by user interfaces of Virtual Environments (VEs) is often inadequate and tends to be overly complex, especially in the case of large-scale VEs. In ...
Luca Chittaro, Stefano Burigat
LOGCOM
2008
110views more  LOGCOM 2008»
13 years 8 months ago
Sum and Product in Dynamic Epistemic Logic
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
FSKD
2006
Springer
298views Fuzzy Logic» more  FSKD 2006»
13 years 12 months ago
Risk Assessment of E-Commerce Projects Using Evidential Reasoning
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...
Rashid Hafeez Khokhar, David A. Bell, Jiwen Guan, ...
CCIA
2007
Springer
14 years 2 months ago
Agents and Clinical Guidelines: Filling the Semantic Gap
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
David Isern, David Sánchez, Antonio Moreno