Sciweavers

12774 search results - page 2234 / 2555
» A Framework for Proof Systems
Sort
View
GMP
2006
IEEE
121views Solid Modeling» more  GMP 2006»
16 years 27 days ago
Preserving Form-Features in Interactive Mesh Deformation
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...
Hiroshi Masuda, Yasuhiro Yoshioka, Yoshiyuki Furuk...
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
16 years 27 days ago
Optimizing an IT Project Portfolio with Time-Wise Interdependencies
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
Indranil R. Bardhan, Robert J. Kauffman, Sanjeewa ...
HICSS
2006
IEEE
150views Biometrics» more  HICSS 2006»
16 years 27 days ago
E-Government Evaluation: Reflections on Two Organisational Studies
Senior executives in public sector organisations have been charged with delivering an e-Government agenda. A key emerging area of research is that of the evaluation of e-Governmen...
Stephen Jones, Zahir Irani, Amir M. Sharif, Marino...
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
16 years 27 days ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen
HICSS
2006
IEEE
118views Biometrics» more  HICSS 2006»
16 years 27 days ago
Semantic Web Service Discovery in the OWL-S IDE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
Naveen Srinivasan, Massimo Paolucci, Katia P. Syca...
« Prev « First page 2234 / 2555 Last » Next »