2514 search results - page 314 / 503 » The use of industrial-strength formal methods |
143
click to vote
ADC
2009
Springer
16 years 1 months ago
2009
Springer
Location-based context-aware services for mobile users need to collaborate in disparate networks. Services come and go as the user moves and no central repository is available. Th...
156
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
181
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
169
click to vote
IPPS
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
158
click to vote
ICAC
2007
IEEE
16 years 26 days ago
2007
IEEE
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...