1124 search results - page 20 / 225 » Refined quorum systems |
MFCS
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
111
click to vote
FLAIRS
2006
15 years 3 months ago
2006
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...
120
click to vote
EDBT
2002
ACM
16 years 2 months ago
2002
ACM
With the emergence of applications that require content-based similarity retrieval, techniques to support such a retrieval paradigm over database systems have emerged as a critica...
115
Voted
DAC
2002
ACM
16 years 2 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
IPCCC
2006
IEEE
15 years 8 months ago
2006
IEEE
The Maille Authorization protocol provides flexible and reliable authorization in large distributed and pervasive computing systems. Service owners distribute their access control...