Sciweavers

2223 search results - page 95 / 445
» Events in Property Patterns
Sort
View
PARMA
2004
114views Database» more  PARMA 2004»
14 years 11 months ago
PatManQL: A Language to Manipulate Patterns and Data in Hierarchical Catalogs
Hierarchical structures and catalogs is a way to organize and enrich semantically the available information in the Web. From simple tree-like structures with syntactic constraints ...
Panagiotis Bouros, Theodore Dalamagas, Timos K. Se...
ICCV
2009
IEEE
14 years 7 months ago
Local Trinary Patterns for human action recognition
We present a novel action recognition method which is based on combining the effective description properties of Local Binary Patterns with the appearance invariance and adaptabil...
Lahav Yeffet, Lior Wolf
SQJ
2010
152views more  SQJ 2010»
14 years 8 months ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun
ACSD
2006
IEEE
154views Hardware» more  ACSD 2006»
15 years 3 months ago
Concurrency in Distributed Systems under Autonomous and Enforced Actions
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, El...
FORTE
2010
14 years 11 months ago
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
Péter Bokor, Marco Serafini, Neeraj Suri