963 search results - page 131 / 193 » Formal Analysis of BPMN Models Using Event-B |
111
click to vote
FC
2005
Springer
15 years 7 months ago
2005
Springer
Approximate Message Authentication Code (AMAC) is a recently introduced cryptographic primitive with several applications in the areas of cryptography and coding theory. Briefly s...
102
click to vote
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
137
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
117
click to vote
DIMVA
2009
15 years 2 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
118
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...