2232 search results - page 135 / 447 » Formal Modeling and Analysis of Organizations |
141
click to vote
ICFCA
2004
Springer
15 years 12 months ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
151
click to vote
OTM
2007
Springer
16 years 18 days ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
195
click to vote
CSFW
2005
IEEE
16 years 3 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
151
click to vote
TOSEM
2002
15 years 6 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
149
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...