Sciweavers

1784 search results - page 158 / 357
» A Service Model for Component-Based Development
Sort
View
114
Voted
FMSD
2006
119views more  FMSD 2006»
15 years 2 months ago
Feature interaction detection by pairwise analysis of LTL properties - A case study
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
Muffy Calder, Alice Miller
129
Voted
PERCOM
2008
ACM
16 years 2 months ago
Multiagent Place-Based Virtual Communities for Pervasive Computing
This paper proposes a multiagent based virtual community as a new means to support pervasive computing services. We give a conceptual definition of the concept of Place-Based Virt...
Tuan Nguyen, Seng Wai Loke, Torab Torabi, Hongen L...
141
Voted
ICC
2009
IEEE
147views Communications» more  ICC 2009»
15 years 9 months ago
A Distributed Protocol for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
Eric Karmouch, Amiya Nayak
EKAW
2004
Springer
15 years 8 months ago
OntoWeaver-S: Supporting the Design of Knowledge Portals
This paper presents OntoWeaver-S, an ontology-based infrastructure for building knowledge portals. In particular, OntoWeaver-S is integrated with a comprehensive web service platfo...
Yuangui Lei, Enrico Motta, John Domingue
115
Voted
EOR
2007
151views more  EOR 2007»
15 years 2 months ago
A possibilistic decision model for new product supply chain design
This paper models supply chain (SC) uncertainties by fuzzy sets and develops a possibilistic SC configuration model for new products with unreliable or unavailable SC statistical...
Juite Wang, Yun-Feng Shu