Sciweavers

1330 search results - page 187 / 266
» Modeling components and frameworks with UML
Sort
View
ICPR
2008
IEEE
15 years 10 months ago
Active contour algorithm for texture segmentation using a texture feature set
This paper presents a novel algorithm for unsupervised texture segmentation. We incorporate a set of texture features under a segmentation framework, based on the active contour w...
Sandro Vega-Pons, José Luís Gil Rodr...
WSFM
2007
Springer
15 years 10 months ago
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zha...
VL
1997
IEEE
165views Visual Languages» more  VL 1997»
15 years 8 months ago
Alterable Visual Languages
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
Chris M. Holt
DEXAW
1998
IEEE
109views Database» more  DEXAW 1998»
15 years 8 months ago
Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
Peter Stañski, Arkady B. Zaslavsky
ATVA
2009
Springer
141views Hardware» more  ATVA 2009»
15 years 8 months ago
Formal Verification for High-Assurance Behavioral Synthesis
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Ya...