2088 search results - page 138 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
165
click to vote
IEEESCC
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
217
click to vote
CBSQ
2003
Springer
15 years 11 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
182
click to vote
CJ
2004
15 years 6 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
168
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we argue that there is a need for an event-based middleware to build large-scale distributed systems. Existing publish/subscribe systems still have limitations comp...
171
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
The aim of this paper is to determine aspects to be considered in Bunge’s ontological models in order to obtain an Integrated Ontological Model of Information Systems (IOMIS). Th...