26 search results - page 3 / 6 » Probabilistic Contracts for Component-Based Design |
105
Voted
ISTA
2001
15 years 2 months ago
2001
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...
117
Voted
ADT
2005
15 years 1 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
125
Voted
APN
2009
Springer
15 years 7 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
102
Voted
IJCAI
2007
15 years 2 months ago
2007
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
93
Voted
CAISE
2001
Springer
15 years 5 months ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...