4636 search results - page 774 / 928 » Modelling and Validation with VipTool |
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
PIMRC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Consider the problem of base-station and subcarrier assignment on the downlink of a two-cell OFDMA system with adaptive modulation. The aim is to maximize a common data...
SECON
2008
IEEE
14 years 3 months ago
2008
IEEE
—Many sensor networks are deployed for the purpose of covering and monitoring a particular region, and detecting the object of interest in the region. In this paper, based on the...
SEMCO
2008
IEEE
14 years 3 months ago
2008
IEEE
A huge amount of data and metadata emerges from Web 2.0 applications which have transformed the Web to a mass social interaction and collaboration medium. Collaborative Tagging Sy...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...