Sciweavers

1290 search results - page 130 / 258
» Membrane Computing as a Framework for Modeling Economic Proc...
Sort
View
NCA
2008
IEEE
14 years 2 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
CSCWD
2009
Springer
14 years 14 days ago
Ceramic tile design: A case study of collaborative New-Product Development in fashion-driven chains
This paper studies ceramic tile design chains, as representative of those collaborative New-Product Development (NPD) processes where the presence of very different origins of des...
María Jesús Agost, Pedro Company, Fe...
ECOOPW
1997
Springer
14 years 13 hour ago
Active Software Artifacts
There are many similarities between industrial goods manufacturing and software development processes. This paper first briefly analyzes the recent developments in goods manufactur...
Mehmet Aksit, Francesco Marcelloni, Bedir Tekinerd...
UIC
2007
Springer
14 years 1 months ago
Audio-Visual Fused Online Context Analysis Toward Smart Meeting Room
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...
Peng Dai, Linmi Tao, Guangyou Xu
ICPR
2008
IEEE
14 years 2 months ago
A Bayesian Local Binary Pattern texture descriptor
In this paper, a Bayesian LBP operator is proposed. This operator is formulated in a novel Filtering, Labeling and Statistic (FLS) framework for texture descriptors. In the framew...
Chu He, Timo Ahonen, Matti Pietikäinen