524 search results - page 67 / 105 » Application of Graph Transformation in Verification of Dynam... |
VLDB
2007
ACM
14 years 2 months ago
2007
ACM
Damia is a lightweight enterprise data integration service where line of business users can create and catalog high value data feeds for consumption by situational applications. D...
BIOSIG
2003
13 years 10 months ago
2003
: Speaker recognition in applications of our daily lives is not yet in widespread use. In order for biometric technology to make sense for real-world authentication applications an...
KAIS
2010
13 years 7 months ago
2010
In systems of interacting entities such as social networks, interactions that occur regularly typically correspond to significant, yet often infrequent and hard to detect, interact...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Given the increasing dependence of our societies on networked information systems, the overall security of these systems should be measured and improved. Existing security metrics...
AUTOMATICA
2007
13 years 8 months ago
2007
This paper proposes a method in order to render passive discrete-time nonlinear multiple-input multiple-output (MIMO) systems which are affine in control. The methodology is base...