556 search results - page 25 / 112 » Checking Interval Properties of Computations |
118
click to vote
SPIN
2010
Springer
15 years 9 days ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
98
Voted
DEXAW
2000
IEEE
15 years 6 months ago
2000
IEEE
In a mobile computing system, caching data items at the mobile clients is important to reduce the data access delay in a unreliable and low bandwidth mobile network. However, effi...
IJAR
2008
15 years 1 months ago
2008
While quantitative probabilistic networks (QPNs) allow the expert to state influences between nodes in the network as influence signs, rather than conditional probabilities, infer...
ICDCSW
2000
IEEE
15 years 6 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
130
click to vote
ICSOC
2005
Springer
15 years 7 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...