524 search results - page 67 / 105 » Application of Graph Transformation in Verification of Dynam... |
123
click to vote
VLDB
2007
ACM
15 years 8 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...
150
click to vote
BIOSIG
2003
15 years 3 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...
107
click to vote
KAIS
2010
15 years 12 days 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...
119
click to vote
CCS
2008
ACM
15 years 4 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
15 years 2 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...