Sciweavers

2021 search results - page 265 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
ENTCS
2006
133views more  ENTCS 2006»
15 years 6 months ago
Linking Semantic Models to Support CSP || B Consistency Checking
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
Neil Evans, Helen Treharne
JAR
2008
115views more  JAR 2008»
15 years 6 months ago
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
Roberto Gorrieri, Fabio Martinelli, Marinella Petr...
MTA
2006
115views more  MTA 2006»
15 years 6 months ago
Cache modeling and optimization for portable devices running MPEG-4 video decoder
Abstract There are increasing demands on portable communication devices to run multimedia applications. ISO (an International Organization for Standardization) standard MPEG-4 is a...
Abu Asaduzzaman, Imad Mahgoub
CLEIEJ
2010
15 years 3 months ago
Typing Textual Entities and M2T/T2M Transformations in a Model Management Environment
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
Andrés Vignaga
ACCV
2010
Springer
15 years 1 months ago
On the Use of Implicit Shape Models for Recognition of Object Categories in 3D Data
The ability of recognizing object categories in 3D data is still an underdeveloped topic. This paper investigates on adopting Implicit Shape Models (ISMs) for 3D categorization, th...
Samuele Salti, Federico Tombari, Luigi di Stefano