Sciweavers

1747 search results - page 182 / 350
» Long Range Dependence
Sort
View
DSN
2002
IEEE
15 years 11 months ago
Small Byzantine Quorum Systems
In this paper we present two protocols for asynchronous Byzantine Quorum Systems (BQS) built on top of reliable channels—one for self-verifying data and the other for any data. ...
Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahl...
WCRE
2002
IEEE
15 years 11 months ago
A Disturbing Result on the Knowledge Used during Software Maintenance
As part of a long term project aiming at empowering software maintainers with knowledge based tools we conducted an empirical study on the knowledge they use when doing maintenanc...
Maria Fernanda N. Ramal, Ricardo de Moura Meneses,...
PETRA
2009
ACM
15 years 11 months ago
Ubi-designer: a web-based toolkit for configuring and field-testing UbiComp prototypes
Technology is now available for creating affordable sensor networks and infrastructures for ubiquitous computing environments. In the area of ambient assisted living, contextaware...
Martijn H. Vastenburg, Halldór Fjalldal, Ch...
CONCUR
2001
Springer
15 years 11 months ago
CCS with Priority Guards
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
Iain Phillips
CSFW
1999
IEEE
15 years 11 months ago
Process Algebra and Non-Interference
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
Peter Y. A. Ryan, Steve A. Schneider