2171 search results - page 79 / 435 » A Generic Process Algebra |
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
TISSEC
2010
14 years 7 months ago
2010
We revisit the problem of constructing a protocol for performing authenticated encryption with associated data (AEAD). A technique is described which combines a collision resistant...
105
click to vote
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
A new content-based approach for improved H.264/MPEG4-AVC video coding is presented. The framework is generic because it is based on a closed-loop texture analysis by synthesis alg...
236
click to vote
AVSS
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper, we consider the challenging problem of unusual event detection in video surveillance systems. The proposed approach makes a step toward generic and automatic dete...
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...