623 search results - page 14 / 125 » Relational Parametricity for Control Considered as a Computa... |
175
click to vote
TSP
2008
15 years 5 months ago
2008
Abstract--The dynamics of a rule-based gene regulatory network are determined by the regulatory functions in conjunction with whatever probability distributions are involved in net...
146
click to vote
CCS
2007
ACM
16 years 4 days ago
2007
ACM
The increasing number of software-based attacks has attracted substantial efforts to prevent applications from malicious interference. For example, Trusted Computing (TC) technolo...
171
click to vote
TSE
2008
15 years 5 months ago
2008
While the inspection of various software artifacts increases the quality of the end product, the effectiveness of an inspection largely depends on the individual inspectors involve...
161
click to vote
CDC
2008
IEEE
16 years 14 days ago
2008
IEEE
— In modern robust control, control synthesis may be cast as an interpolation problem where the interpolant relates to robustness and performance criteria. In particular, robustn...
156
click to vote
FCT
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...