1573 search results - page 158 / 315 » Signs and Formal Concepts |
187
click to vote
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
Matrix decomposition methods provide representations of an object-variable data matrix by a product of two different matrices, one describing relationship between objects and hidd...
164
click to vote
SLE
2009
Springer
16 years 24 days ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
157
click to vote
ISORC
2007
IEEE
16 years 16 days ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
145
click to vote
ECOWS
2007
Springer
16 years 12 days ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
189
click to vote
EUROMICRO
2006
IEEE
16 years 9 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...