5777 search results - page 81 / 1156 » The palladio component model |
166
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
193
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
165
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
157
click to vote
IJMI
2002
15 years 5 months ago
2002
Representation of clinical practice guidelines in a computer-interpretable format is a critical issue for guideline development, implementation, and evaluation. We studied 11 type...
180
click to vote
MIDDLEWARE
2005
Springer
15 years 11 months ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...