1439 search results - page 17 / 288 » A Component Model Engineered with Components and Aspects |
102
click to vote
CADE
2007
Springer
16 years 1 days ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
101
click to vote
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
103
click to vote
SAC
2000
ACM
15 years 4 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
105
click to vote
WER
2001
Springer
15 years 4 months ago
2001
Springer
In CBSD, the possible benefits of COTS software development, such as low cost, low risk, and high quality, cannot be satisfactorily achieved due to inadequate and/or incomplete pro...