5664 search results - page 908 / 1133 » Creativity support tools |
158
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
136
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
128
click to vote
ACSAC
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...
119
Voted
ICCBR
1999
Springer
15 years 9 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
128
Voted
COMPSAC
1998
IEEE
15 years 9 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...