Sciweavers

110 search results - page 14 / 22
» A Hierarchy of Communication Models for Message Sequence Cha...
Sort
View
100
Voted
KBSE
2003
IEEE
15 years 5 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
55
Voted
MVA
2007
103views Computer Vision» more  MVA 2007»
15 years 1 months ago
A Facial Sketch Animation Generator for Mobile Communication
The ability to analyze and reproduce specific-person facial expression is an important multimedia content service for mobile communication. In this paper, a novel three-layer faci...
Yuehu Liu, Yuanqi Su, Yang Yang, Fengjuan Wang, Ma...
86
Voted
FSEN
2007
Springer
15 years 5 months ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
ECCV
2010
Springer
15 years 4 months ago
Stacked Hierarchical Labeling
In this work we propose a hierarchical approach for labeling semantic objects and regions in scenes. Our approach is reminiscent of early vision literature in that we use a decompo...
QEST
2009
IEEE
15 years 6 months ago
Recent Extensions to Traviando
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
Peter Kemper