1407 search results - page 78 / 282 » Towards Usable Analysis, Design and Modeling Tools |
173
click to vote
SOUPS
2006
ACM
16 years 7 days ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
139
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
165
click to vote
WSC
2001
15 years 7 months ago
2001
This paper describes a novel method for detecting the bottleneck in a discrete event system by examining the average duration of a machine being active for all machines. The machi...
154
click to vote
WSC
2007
15 years 8 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
232
click to vote
CGI
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper gives an overview of some recent methods useful for local and global shape analysis and for the design of solids. These methods include as new tools for global and loca...