2004 search results - page 227 / 401 » Comparison of Model Checking Tools for Information Systems |
167
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...
150
Voted
COOPIS
2003
IEEE
16 years 8 days 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...
179
Voted
HICSS
2006
IEEE
16 years 1 months 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...
204
Voted
ET
2010
15 years 4 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...
183
click to vote
ICEIS
2005
IEEE
16 years 18 days 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...