2232 search results - page 276 / 447 » Formal Modeling and Analysis of Organizations |
118
click to vote
CSCL
2008
15 years 6 months ago
2008
ct There has long been a call for schools to prepare students for the twenty-first 12century where skills and dispositions differ significantly from much of what has historically 1...
207
click to vote
ACNS
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Attackers in particular botnet controllers use stealthy messaging systems to set up large-scale command and control. Understanding the capacity of such communication chan...
170
click to vote
SPIN
2007
Springer
16 years 18 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
177
click to vote
DIMVA
2009
15 years 7 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...
183
click to vote
ENTCS
2006
15 years 6 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...