193 search results - page 15 / 39 » Modeling Environment for Component Model Checking from Hiera... |
ESCIENCE
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper describes the design and development of a flexible domain-based access control infrastructure for distributed Collaborative Environments. The paper proposes extensions ...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...