12774 search results - page 2234 / 2555 » A Framework for Proof Systems |
165
click to vote
GMP
2006
IEEE
16 years 27 days ago
2006
IEEE
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...
167
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
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...
145
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
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...
157
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
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...
183
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
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...