Sciweavers

1484 search results - page 147 / 297
» A Coordination Model for Interactive Components
Sort
View
169
Voted
UML
2005
Springer
15 years 10 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
126
Voted
CG
2005
Springer
15 years 5 months ago
A novel constrained texture mapping method based on harmonic map
In this paper, we present a novel constrained texture mapping method based on the harmonic map. We first project the surface of a 3D model on a planar domain by an angle-based-fla...
Yanwen Guo, Jin Wang, Hanqiu Sun, Xiufen Cui, Quns...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 8 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
ICSE
2007
IEEE-ACM
16 years 5 months ago
Ajaxifying Classic Web Applications
Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged in response to the limited degree of interactivity in large-grain sta...
Ali Mesbah
WSFM
2007
Springer
15 years 11 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...