10159 search results - page 1821 / 2032 » System Design Validation Using Formal Models |
258
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
188
click to vote
CONCURRENCY
1998
15 years 6 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
154
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
186
click to vote
JSW
2008
15 years 6 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
165
click to vote
JIRS
2010
15 years 5 months ago
2010
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...