Sciweavers

4211 search results - page 51 / 843
» A formal approach to MASQ
Sort
View
IPMU
2010
Springer
14 years 3 months ago
A Parallel between Extended Formal Concept Analysis and Bipartite Graphs Analysis
The paper offers a parallel between two approaches to conceptual clustering, namely
Bruno Gaume, Emmanuel Navarro, Henri Prade
SAFECOMP
1999
Springer
14 years 3 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
MAGS
2010
106views more  MAGS 2010»
13 years 5 months ago
On the convergence of autonomous agent communities
Community is a common phenomenon in natural ecosystems, human societies as well as artificial multi-agent systems such as those in web and Internet based applications. In many sel...
Hong Zhu, Fang Wang, Shufeng Wang
CII
2006
67views more  CII 2006»
13 years 11 months ago
A formal verification framework and associated tools for Enterprise Modeling: Application to UEML
The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the sui...
Vincent Chapurlat, Bernard Kamsu Foguem, Fran&cced...
WISE
2009
Springer
14 years 8 months ago
Formal Identification of Right-Grained Services for Service-Oriented Modeling
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
Yukyong Kim, Kyung-Goo Doh