Sciweavers

1190 search results - page 155 / 238
» You are There
Sort
View
CAD
2005
Springer
13 years 8 months ago
Deployment of an AEC industry sector product model
CIMsteel Integration Standard, Version 2 (CIS/2) is an industry-developed product model based on ISO-STEP technology that has been widely adopted within the steel construction ind...
Charles M. Eastman, F. Wang, S.-J. You, D. Yang
JOT
2007
104views more  JOT 2007»
13 years 8 months ago
Common Requirements Problems, Their Negative Consequences, and the Industry Best Practices to Help Solve Them
In this column, I summarize the 12 worst of the most common requirements engineering problems I have observed over many years working on and with real projects as a requirements e...
Donald Firesmith
ENTCS
2002
90views more  ENTCS 2002»
13 years 8 months ago
Refactoring in maintenance and development of Z specifications
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
Susan Stepney, Fiona Polack, Ian Toyn
JFP
2002
96views more  JFP 2002»
13 years 7 months ago
Secrets of the Glasgow Haskell Compiler inliner
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
Simon L. Peyton Jones, Simon Marlow
JSS
2002
96views more  JSS 2002»
13 years 7 months ago
A group signature scheme with strong separability
Group signatures, introduced by Chaum and van Heijst, allow members of a group to sign messages anonymously on behalf of the group. Only a designated group manager is able to iden...
Shundong Xia, Jinyuan You