102 search results - page 17 / 21 » Automated Dependability Analysis of UML Designs |
106
click to vote
ICSE
2007
IEEE-ACM
16 years 13 days ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
93
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Predicting oil recovery efficiency of deepwater reservoirs is a challenging task. One approach to characterize and predict the producibility of a reservoir is by analyzing its...
113
click to vote
RTS
2006
15 years 8 days ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
103
Voted
BMCBI
2008
15 years 14 days ago
2008
Background: The recent emergence of high-throughput automated image acquisition technologies has forever changed how cell biologists collect and analyze data. Historically, the in...