384 search results - page 27 / 77 » Formal Development of Reactive Fault Tolerant Systems |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Over the last 2-3 years, the importance of data-intensive computing has increasingly been recognized, closely coupled with the emergence and popularity of map-reduce for developin...
SRDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Quorum protocols offer several benefits when used to maintain replicated data but techniques for reducing overheads associated with them have not been explored in detail. It is d...
CLUSTER
2004
IEEE
13 years 7 months ago
2004
IEEE
An increasing number of applications are being developed using distributed object computing (DOC) middleware, such as CORBA. Many of these applications require the underlying midd...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
The more the information technologies begin to be incorporated into the industrial productive fabric, the more complex it becomes to organise them. It is vital to implant proactiv...
AMAST
2000
Springer
14 years 1 days ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...