2078 search results - page 336 / 416 » Using Aspects to Make Adaptive Object-Models Adaptable |
118
click to vote
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
113
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
138
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
117
click to vote
DEXA
2006
Springer
15 years 6 months ago
2006
Springer
The Business Process Execution Language BPEL4WS has emerged to introduce process dimension in Web Services coordination. At the same time, a lot of needs related to business proces...
130
click to vote
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...