7778 search results - page 1146 / 1556 » Designing Controllers for Reachability |
215
Voted
HYBRID
2010
Springer
16 years 25 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
212
Voted
GPCE
2009
Springer
16 years 9 days ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
222
click to vote
ICMCS
2000
IEEE
16 years 3 days ago
2000
IEEE
The coming millenium will be characterized by the availability of multiple information appliances that make ubiquitous information access an accepted fact of life. The ability to ...
234
Voted
DAC
1997
ACM
15 years 12 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
198
Voted
SIGSOFT
1996
ACM
15 years 12 months ago
1996
ACM
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...