2013 search results - page 305 / 403 » Analysis and Design Techniques for Service-Oriented Developm... |
DAC
2009
ACM
14 years 10 months ago
2009
ACM
State-of-the-art integral-equation-based solvers rely on techniques that can perform a matrix-vector multiplication in O(N) complexity. In this work, a fast inverse of linear comp...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
DAC
2010
ACM
14 years 29 days ago
2010
ACM
—Discrete gate sizing is one of the most commonly used, flexible, and powerful techniques for digital circuit optimization. The underlying problem has been proven to be NP-hard ...
JODL
2006
13 years 9 months ago
2006
We present the results and the lessons learned from two separate and independent studies into the design, development, and evaluation of electronic books for information access: th...
IJSYSC
2007
13 years 9 months ago
2007
: This paper addresses the problem of attitude and heading restitution for a VTOL UAV. We describe an observation strategy to restitute the complete attitude matrix of the vehicle ...