322 search results - page 9 / 65 » An Example of an Automatic Differentiation-Based Modelling S... |
HASE
1999
IEEE
15 years 2 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
100
click to vote
MSR
2009
ACM
15 years 2 months ago
2009
ACM
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Transaction Level Modeling (TLM) is an emerging design practice for overcoming increasing design complexity. It aims at simplifying the design flow of embedded systems ning and v...
114
click to vote
WECWIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...