1615 search results - page 105 / 323 » Distributed Forward Checking |
102
click to vote
ECOOPW
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components intera...
135
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
153
click to vote
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
117
click to vote
COLCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Data movement within high performance environments can be a large bottleneck to the overall performance of programs. With the addition of continuous storage and usage of...
133
click to vote
PDSE
1998
15 years 3 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...