Sciweavers

11 search results - page 1 / 3
» soca 2007
Sort
View
SOCA
2007
IEEE
13 years 10 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
SOCA
2007
IEEE
13 years 10 months ago
VIDIHIP - A Web Service based Integration Platform for Power Plant Control Systems
European energy supply companies typically run a conglomerate of different, geographically distributed power plants. Unfortunately, the corresponding power plant control systems a...
Mark Strembeck, Otto U. Plhal
SOCA
2007
IEEE
13 years 10 months ago
Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture
Service collaboration is important in ServiceOriented Architecture (SOA). While service collaboration protocols for data exchange are well explored, the Dynamic Process Collaborat...
Wei-Tek Tsai, Qian Huang, Jingjing Xu, Yinong Chen...
ICMLA
2007
13 years 5 months ago
Scalable optimal linear representation for face and object recognition
Optimal Component Analysis (OCA) is a linear method for feature extraction and dimension reduction. It has been widely used in many applications such as face and object recognitio...
Yiming Wu, Xiuwen Liu, Washington Mio
SOCA
2007
IEEE
13 years 10 months ago
Negotiating Agreements Using Policies in Ubiquitous Computing Scenarios
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
Venkatraman Ramakrishna, Kevin Eustice, Peter L. R...