4752 search results - page 925 / 951 » Dependability in Web Software |
198
click to vote
FSTTCS
2009
Springer
16 years 17 days ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
167
click to vote
ISW
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Applications typically rely on the operating system to enforce access control policies such as MAC, DAC, or other policies. However, in the face of a compromised operatin...
168
click to vote
NBIS
2009
Springer
16 years 16 days ago
2009
Springer
In this paper, we describe our modifications to ospfd, a popular open-source implementation of OSPF routing protocol. The ospfd software can also be run in simulation mode, where...
167
click to vote
OOPSLA
2009
Springer
16 years 16 days ago
2009
Springer
Iterations are time-boxed periods with an intended outcome that is often a set of implemented requirements. Iterations are part of most common software development lifecycle model...
197
click to vote
SACMAT
2009
ACM
16 years 15 days ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...