Sciweavers

5591 search results - page 356 / 1119
» Design patterns: between programming and software design
Sort
View
ICSE
2005
IEEE-ACM
16 years 6 months ago
Verification and change-impact analysis of access-control policies
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyero...
353
Voted
ALENEX
2011
416views Algorithms» more  ALENEX 2011»
14 years 10 months ago
Exact Pattern Matching with Feed-Forward Bloom Filters
This paper presents an algorithm for exact pattern matching based on a new type of Bloom filter that we call a feed-forward Bloom filter. Besides filtering the input corpus, a ...
Iulian Moraru, David G. Andersen
CHI
2007
ACM
16 years 7 months ago
A study of emergency response work: patterns of mobile phone interaction
This paper presents descriptive accounts of time-critical organizing in the domain of emergency response. Patterns of mobile phone interaction in such work is analyzed showing how...
Jonas Landgren, Urban Nulden
173
Voted
ASWEC
2006
IEEE
16 years 25 days ago
Derivation of Java Monitors
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
Brijesh Dongol
BCS
2008
15 years 8 months ago
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions
Programs are fragile for many reasons, including software errors, partial failures, and network problems. One way to make software more robust is to design it from the start as a ...
Peter Van Roy