10038 search results - page 1583 / 2008 » Model Checking for Managers |
164
click to vote
EEE
2005
IEEE
16 years 10 days ago
2005
IEEE
E-commerce web sites that sell highly customized products tend to be very complex in terms of the underlying logical model of the customization process. We present a systematic ap...
155
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
Change and the resistance to change has been a common occurrence probably since before recorded time. It is normal to resist that which may bring unfamiliarity and the unknown int...
263
Voted
ICDCS
2005
IEEE
16 years 10 days ago
2005
IEEE
Directories have become an important component of the enterprise security and identity management middleware. This paper describes a novel filter based replication model for Light...
159
click to vote
ICECCS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper articulates a system design for the secure role based messaging model built based on existing messaging systems, public key infrastructures, and a privilege management ...
182
Voted
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, we propose, implement and analyze the performance of a Reconfigurable Sequential Consistency Algorithm (RSCA) using simulation. Extending the concepts of reconfigur...