Sciweavers

13591 search results - page 145 / 2719
» On the Implementation of Dynamic Evaluation
Sort
View
EFDBS
2003
15 years 8 months ago
Implementing Mediators through Virtual Updateable Views
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
ISSTA
2012
ACM
13 years 9 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
ASAP
2008
IEEE
182views Hardware» more  ASAP 2008»
16 years 1 months ago
Low-cost implementations of NTRU for pervasive security
NTRU is a public-key cryptosystem based on the shortest vector problem in a lattice which is an alternative to RSA and ECC. This work presents a compact and low power NTRU design ...
Ali Can Atici, Lejla Batina, Junfeng Fan, Ingrid V...
LSSC
2007
Springer
16 years 20 days ago
Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
José M. Badía, Peter Benner, Rafael ...
ISPA
2005
Springer
16 years 16 hour ago
Implementation of Cooperative Cognition Under Web Environment
Since cognition could be treated as problem-solving issues based on dynamical knowledge transferring and propagation, the meta-learning and group learning are put forward in confor...
Wan-Chun Dou, Guihai Chen, Feng Su, Shijie Cai