2004 search results - page 227 / 401 » Comparison of Model Checking Tools for Information Systems |
155
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
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...
140
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
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...
158
click to vote
HICSS
2006
IEEE
16 years 13 days ago
2006
IEEE
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...
181
click to vote
ET
2010
15 years 3 months ago
2010
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...
158
click to vote
ICEIS
2005
IEEE
15 years 12 months ago
2005
IEEE
: 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...