Sciweavers

3038 search results - page 192 / 608
» Controlling Engineering Problem Solving
Sort
View
PARA
2004
Springer
15 years 7 months ago
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
CSFW
2010
IEEE
15 years 6 months ago
Constraining Credential Usage in Logic-Based Access Control
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
Lujo Bauer, Limin Jia, Divya Sharma
178
Voted

Source Code
2324views
17 years 2 months ago
Newmat C++ matrix library
A great flexible easy to use C++ library that is intended for scientists and engineers. The library supports the following matrix types: Matrix (rectangular matrix), UpperTriangula...
CBMS
2008
IEEE
15 years 8 months ago
Restoring the Patient Control over Her Medical History
Paper-based folders have been widely used to coordinate cares in medical-social networks, but they introduce some burning issues (e.g. privacy protection, remote access to the fol...
Nicolas Anciaux, Mehdi Benzine, Luc Bouganim, K&ea...
DATE
2008
IEEE
114views Hardware» more  DATE 2008»
15 years 8 months ago
Operating System Controlled Processor-Memory Bus Encryption
—Unencrypted data appearing on the processor– memory bus can result in security violations, e.g., allowing attackers to gather keys to financial accounts and personal data. Al...
Xi Chen, Robert P. Dick, Alok N. Choudhary