1888 search results - page 69 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
134
click to vote
CSSE
2008
IEEE
15 years 5 months ago
2008
IEEE
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
116
click to vote
CSREAEEE
2006
15 years 4 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
132
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
142
click to vote
OPODIS
2010
15 years 1 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
133
click to vote
WORDS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper shows how role-based access control (RBAC) models can be implemented in distributed object-based systems that follow OMG/CORBA standards. We introduce a novel approach ...