Sciweavers

2004 search results - page 227 / 401
» Comparison of Model Checking Tools for Information Systems
Sort
View
ICEGOV
2009
ACM
15 years 4 months ago
Design of a web-based tendering system for e-government procurement
Procurement for e-Government is an important part of activities which are similar to the nature of B2B. That is usually characterized by bulk volumes with complex variables, burea...
Simon Fong, Zhuang Yan
COOPIS
2003
IEEE
15 years 11 months ago
What Must (Not) Be Available Where?
Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This pape...
Felix Bübl
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
16 years 13 days ago
An Economic Model for Comparing Search Services
Search services are now ubiquitously employed in searching for documents on the Internet and on enterprise intranets. This research develops an economic model for comparing search...
Stephen K. Kwan, Shailaja Venkatsubramanyan
ET
2010
122views more  ET 2010»
15 years 3 months ago
Fault Models for Quantum Mechanical Switching Networks
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
Jacob D. Biamonte, Jeff S. Allen, Marek A. Perkows...
ICEIS
2005
IEEE
15 years 12 months ago
Process Oriented Discovery of Business Partners
: Emerging technologies and industrial standards in the field of Web services enable a much faster and easier cooperation of distributed partners. With the increasing number of en...
Axel Martens