556 search results - page 24 / 112 » Checking Interval Properties of Computations |
113
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
122
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
— Over the years, the use of global grid environments have become widespread. In order to make applications robust against the dynamics of those grid environments it is essential...
114
click to vote
MFCS
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...
111
Voted
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
152
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...