1407 search results - page 38 / 282 » Towards Usable Analysis, Design and Modeling Tools |
171
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
148
click to vote
CHI
2010
ACM
16 years 25 days ago
2010
ACM
Traditional network analysis tools support analysts in studying a single network. ManyNets offers these analysts a powerful new approach that enables them to work on multiple netw...
170
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
131
click to vote
AIS
2007
Springer
15 years 6 months ago
2007
Springer
Many recent developments in technological design are aimed towards the ‘humanisation’ of technology, that is, making technology behave in a way that is more ‘intuitive’, ...
144
click to vote
ITRUST
2005
Springer
15 years 11 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...