2021 search results - page 277 / 405 » COCO: Composition Model and Composition Model Implementation |
154
click to vote
PTS
2008
15 years 7 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
146
click to vote
WCE
2007
15 years 7 months ago
2007
Abstract—The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete sche...
147
click to vote
COORDINATION
2010
Springer
15 years 6 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
130
click to vote
ACL
2009
15 years 4 months ago
2009
The use of phrases in retrieval models has been proven to be helpful in the literature, but no particular research addresses the problem of discriminating phrases that are likely ...
172
click to vote
ISICT
2003
15 years 7 months ago
2003
The notion of application – a single, bounded piece of functionality presented to users – goes almost unquestioned. However in the context of highly adaptive and ambient system...