6474 search results - page 223 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
136
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
176
click to vote
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
168
click to vote
SEKE
2007
Springer
16 years 20 days ago
2007
Springer
A number of enterprises are turning towards the Service Oriented Architecture (SOA) approach for their systems due to the number of benefits it offers. A key enabling technology ...
154
click to vote
ICFEM
1998
Springer
15 years 10 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
186
click to vote
IEEESCC
2008
IEEE
16 years 29 days ago
2008
IEEE
Services can be characterized as activities in which providers and customers co-create value. The need for a tight collaboration between providers and customers is thus an importa...