Sciweavers

192 search results - page 9 / 39
» Towards a Precise Semantics for Object-Oriented Modeling Tec...
Sort
View
75
Voted
ENTCS
2007
119views more  ENTCS 2007»
14 years 9 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan
SPAA
2009
ACM
15 years 10 months ago
Towards transactional memory semantics for C++
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert ...
UML
2004
Springer
15 years 2 months ago
Applying Refactoring Techniques to UML/OCL Models
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
Alexandre L. Correa, Cláudia Maria Lima Wer...
MTA
2002
190views more  MTA 2002»
14 years 9 months ago
Model-Based Video Classification toward Hierarchical Representation, Indexing and Access
Abstract. In this paper, we develop a content-based video classification approach to support semantic categorization, high-dimensional indexing and multi-level access. Our contribu...
Jianping Fan, Xingquan Zhu, Mohand-Said Hacid, Ahm...
ISCC
2003
IEEE
153views Communications» more  ISCC 2003»
15 years 2 months ago
A Human-based Technique for Measuring Video Data Similarity
The increasing use of multimedia streams nowadays necessitates the development of efficient and effective methodologies for manipulating databases storing them. Moreover, content-...
Waleed E. Farag, Hussein M. Abdel-Wahab