3742 search results - page 400 / 749 » On the Use of Formal Techniques for Validation |
164
click to vote
IMECS
2007
15 years 8 months ago
2007
— This paper proposes an authentication approach to support multi-clients in using a multi-application based environment. The approach is primarily based on the public key infras...
179
click to vote
WSC
2004
15 years 8 months ago
2004
As the Internet grows, traffic engineering has become a widely-used technique to control the flow of packets. For the inter-domain routing, traffic engineering relies on configura...
144
click to vote
VIP
2000
15 years 8 months ago
2000
Developing a detailed 3D conceptual spatial data model and incorporating it for visualization, is a promising method of Spatial Data Exploration for a variety of applications espe...
133
click to vote
AAAI
1994
15 years 8 months ago
1994
Sometimes inferences made at some specific time are valid at other times, too. In model-based diagnosis and monitoring as well as qualitative simulation inferences are often re-do...
174
click to vote
PDPTA
1996
15 years 8 months ago
1996
This paper presents a taxonomy of parallel and distributed debuggers based on execution replay. Programming of distributed and parallel systems is a complex task. Amongst the many...