11324 search results - page 357 / 2265 » Coordination Models and Languages |
157
click to vote
CODES
2003
IEEE
16 years 3 days ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
172
click to vote
ENTCS
2007
15 years 6 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
221
click to vote
TASLP
2010
15 years 1 months ago
2010
Abstract--This paper presents a model for machine aided human translation (MAHT) that integrates source language text and target language acoustic information to produce the text t...
186
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
196
click to vote
ICSAP
2010
15 years 8 months ago
2010
- This paper describes a novel algorithm designed for tamper proofing of 3D models. Fragile watermarking is a known technique for detecting location of tamper in the artwork. Howev...