4799 search results - page 518 / 960 » Model Based Requirements Engineering for Embedded Software |
212
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
207
click to vote
ER
2009
Springer
15 years 4 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
174
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In current web service discovery and subscription, consumers must pay too much time on manually selection and cannot easily benefit from the wide QoS spectrum brought by the proli...
166
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
188
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...