626 search results - page 33 / 126 » Correct Composition of Design Components |
CHI
2007
ACM
16 years 6 days ago
2007
ACM
A computational composite is a material in which computations contribute to the properties of the material through their capability to control transitions between states in the oth...
ACL
1992
15 years 29 days ago
1992
We present a new compositional tense-aspect deindexing mechanism that makes use of tense trees as components of discourse contexts. The mechanism allows reference episodes to be c...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
113
click to vote
ICSOC
2009
Springer
14 years 9 months ago
2009
Springer
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...