5243 search results - page 806 / 1049 » Reasoning About Strategies |
192
click to vote
IWPSE
2003
IEEE
15 years 12 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
179
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
184
click to vote
PERCOM
2003
ACM
15 years 12 months ago
2003
ACM
We investigate the performance issues of destinationsequenced distance vector (DSDV) and ad-hoc on-demand distance vector (AODV) routing protocols for mobile ad hoc networks. Four...
184
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
168
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...